<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 10.0.1 (0)
 -->
<!-- Pages: 1 -->
<svg width="4355pt" height="1472pt"
 viewBox="0.00 0.00 4355.25 1472.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1468)">
<polygon fill="white" stroke="none" points="-4,4 -4,-1468 4351.25,-1468 4351.25,4 -4,4"/>
<!-- 0x5030000012a0 -->
<g id="node1" class="node">
<title>0x5030000012a0</title>
<path fill="crimson" stroke="black" d="M3037.62,-1350.5C3037.62,-1350.5 3297.62,-1350.5 3297.62,-1350.5 3303.62,-1350.5 3309.62,-1356.5 3309.62,-1362.5 3309.62,-1362.5 3309.62,-1451.5 3309.62,-1451.5 3309.62,-1457.5 3303.62,-1463.5 3297.62,-1463.5 3297.62,-1463.5 3037.62,-1463.5 3037.62,-1463.5 3031.62,-1463.5 3025.62,-1457.5 3025.62,-1451.5 3025.62,-1451.5 3025.62,-1362.5 3025.62,-1362.5 3025.62,-1356.5 3031.62,-1350.5 3037.62,-1350.5"/>
<text text-anchor="middle" x="3167.62" y="-1442.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3025.62,-1435.25 3309.62,-1435.25"/>
<text text-anchor="middle" x="3167.62" y="-1414.15" font-family="Times,serif" font-size="18.00">TypeOperation: /</text>
<polyline fill="none" stroke="black" points="3025.62,-1407 3309.62,-1407"/>
<text text-anchor="middle" x="3167.62" y="-1385.9" font-family="Times,serif" font-size="18.00">0x5030000012a0</text>
<polyline fill="none" stroke="black" points="3025.62,-1378.75 3309.62,-1378.75"/>
<text text-anchor="middle" x="3096.62" y="-1357.65" font-family="Times,serif" font-size="18.00">0x503000001090</text>
<polyline fill="none" stroke="black" points="3167.62,-1350.5 3167.62,-1378.75"/>
<text text-anchor="middle" x="3238.62" y="-1357.65" font-family="Times,serif" font-size="18.00">0x503000001270</text>
</g>
<!-- 0x503000001090 -->
<g id="node2" class="node">
<title>0x503000001090</title>
<path fill="crimson" stroke="black" d="M2888.38,-1200.5C2888.38,-1200.5 3146.88,-1200.5 3146.88,-1200.5 3152.88,-1200.5 3158.88,-1206.5 3158.88,-1212.5 3158.88,-1212.5 3158.88,-1301.5 3158.88,-1301.5 3158.88,-1307.5 3152.88,-1313.5 3146.88,-1313.5 3146.88,-1313.5 2888.38,-1313.5 2888.38,-1313.5 2882.38,-1313.5 2876.38,-1307.5 2876.38,-1301.5 2876.38,-1301.5 2876.38,-1212.5 2876.38,-1212.5 2876.38,-1206.5 2882.38,-1200.5 2888.38,-1200.5"/>
<text text-anchor="middle" x="3017.62" y="-1292.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2876.38,-1285.25 3158.88,-1285.25"/>
<text text-anchor="middle" x="3017.62" y="-1264.15" font-family="Times,serif" font-size="18.00">TypeOperation: &#45;</text>
<polyline fill="none" stroke="black" points="2876.38,-1257 3158.88,-1257"/>
<text text-anchor="middle" x="3017.62" y="-1235.9" font-family="Times,serif" font-size="18.00">0x503000001090</text>
<polyline fill="none" stroke="black" points="2876.38,-1228.75 3158.88,-1228.75"/>
<text text-anchor="middle" x="2946.62" y="-1207.65" font-family="Times,serif" font-size="18.00">0x503000000a00</text>
<polyline fill="none" stroke="black" points="3016.88,-1200.5 3016.88,-1228.75"/>
<text text-anchor="middle" x="3087.88" y="-1207.65" font-family="Times,serif" font-size="18.00">0x503000001060</text>
</g>
<!-- 0x5030000012a0&#45;&gt;0x503000001090 -->
<g id="edge1" class="edge">
<title>0x5030000012a0&#45;&gt;0x503000001090</title>
<path fill="none" stroke="black" d="M3110.92,-1350.05C3101.45,-1340.71 3091.58,-1330.97 3081.94,-1321.46"/>
<polygon fill="black" stroke="black" points="3084.57,-1319.14 3074.99,-1314.6 3079.65,-1324.12 3084.57,-1319.14"/>
</g>
<!-- 0x503000001270 -->
<g id="node63" class="node">
<title>0x503000001270</title>
<path fill="crimson" stroke="black" d="M3532.62,-1200.5C3532.62,-1200.5 3792.62,-1200.5 3792.62,-1200.5 3798.62,-1200.5 3804.62,-1206.5 3804.62,-1212.5 3804.62,-1212.5 3804.62,-1301.5 3804.62,-1301.5 3804.62,-1307.5 3798.62,-1313.5 3792.62,-1313.5 3792.62,-1313.5 3532.62,-1313.5 3532.62,-1313.5 3526.62,-1313.5 3520.62,-1307.5 3520.62,-1301.5 3520.62,-1301.5 3520.62,-1212.5 3520.62,-1212.5 3520.62,-1206.5 3526.62,-1200.5 3532.62,-1200.5"/>
<text text-anchor="middle" x="3662.62" y="-1292.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3520.62,-1285.25 3804.62,-1285.25"/>
<text text-anchor="middle" x="3662.62" y="-1264.15" font-family="Times,serif" font-size="18.00">TypeOperation: ^</text>
<polyline fill="none" stroke="black" points="3520.62,-1257 3804.62,-1257"/>
<text text-anchor="middle" x="3662.62" y="-1235.9" font-family="Times,serif" font-size="18.00">0x503000001270</text>
<polyline fill="none" stroke="black" points="3520.62,-1228.75 3804.62,-1228.75"/>
<text text-anchor="middle" x="3591.62" y="-1207.65" font-family="Times,serif" font-size="18.00">0x503000001210</text>
<polyline fill="none" stroke="black" points="3662.62,-1200.5 3662.62,-1228.75"/>
<text text-anchor="middle" x="3733.62" y="-1207.65" font-family="Times,serif" font-size="18.00">0x503000001240</text>
</g>
<!-- 0x5030000012a0&#45;&gt;0x503000001270 -->
<g id="edge62" class="edge">
<title>0x5030000012a0&#45;&gt;0x503000001270</title>
<path fill="none" stroke="black" d="M3309.8,-1363.49C3372.32,-1344.8 3445.85,-1322.81 3509.56,-1303.77"/>
<polygon fill="black" stroke="black" points="3510.48,-1307.14 3519.06,-1300.92 3508.48,-1300.44 3510.48,-1307.14"/>
</g>
<!-- 0x503000000a00 -->
<g id="node3" class="node">
<title>0x503000000a00</title>
<path fill="crimson" stroke="black" d="M1162.62,-1050.5C1162.62,-1050.5 1422.62,-1050.5 1422.62,-1050.5 1428.62,-1050.5 1434.62,-1056.5 1434.62,-1062.5 1434.62,-1062.5 1434.62,-1151.5 1434.62,-1151.5 1434.62,-1157.5 1428.62,-1163.5 1422.62,-1163.5 1422.62,-1163.5 1162.62,-1163.5 1162.62,-1163.5 1156.62,-1163.5 1150.62,-1157.5 1150.62,-1151.5 1150.62,-1151.5 1150.62,-1062.5 1150.62,-1062.5 1150.62,-1056.5 1156.62,-1050.5 1162.62,-1050.5"/>
<text text-anchor="middle" x="1292.62" y="-1142.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="1150.62,-1135.25 1434.62,-1135.25"/>
<text text-anchor="middle" x="1292.62" y="-1114.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="1150.62,-1107 1434.62,-1107"/>
<text text-anchor="middle" x="1292.62" y="-1085.9" font-family="Times,serif" font-size="18.00">0x503000000a00</text>
<polyline fill="none" stroke="black" points="1150.62,-1078.75 1434.62,-1078.75"/>
<text text-anchor="middle" x="1221.62" y="-1057.65" font-family="Times,serif" font-size="18.00">0x503000000850</text>
<polyline fill="none" stroke="black" points="1292.62,-1050.5 1292.62,-1078.75"/>
<text text-anchor="middle" x="1363.62" y="-1057.65" font-family="Times,serif" font-size="18.00">0x5030000009d0</text>
</g>
<!-- 0x503000001090&#45;&gt;0x503000000a00 -->
<g id="edge2" class="edge">
<title>0x503000001090&#45;&gt;0x503000000a00</title>
<path fill="none" stroke="black" d="M2876.09,-1243.86C2555.8,-1216.38 1777.58,-1149.61 1446.17,-1121.17"/>
<polygon fill="black" stroke="black" points="1446.82,-1117.72 1436.56,-1120.35 1446.23,-1124.69 1446.82,-1117.72"/>
</g>
<!-- 0x503000001060 -->
<g id="node29" class="node">
<title>0x503000001060</title>
<path fill="crimson" stroke="black" d="M2888.75,-1050.5C2888.75,-1050.5 3146.5,-1050.5 3146.5,-1050.5 3152.5,-1050.5 3158.5,-1056.5 3158.5,-1062.5 3158.5,-1062.5 3158.5,-1151.5 3158.5,-1151.5 3158.5,-1157.5 3152.5,-1163.5 3146.5,-1163.5 3146.5,-1163.5 2888.75,-1163.5 2888.75,-1163.5 2882.75,-1163.5 2876.75,-1157.5 2876.75,-1151.5 2876.75,-1151.5 2876.75,-1062.5 2876.75,-1062.5 2876.75,-1056.5 2882.75,-1050.5 2888.75,-1050.5"/>
<text text-anchor="middle" x="3017.62" y="-1142.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2876.75,-1135.25 3158.5,-1135.25"/>
<text text-anchor="middle" x="3017.62" y="-1114.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="2876.75,-1107 3158.5,-1107"/>
<text text-anchor="middle" x="3017.62" y="-1085.9" font-family="Times,serif" font-size="18.00">0x503000001060</text>
<polyline fill="none" stroke="black" points="2876.75,-1078.75 3158.5,-1078.75"/>
<text text-anchor="middle" x="2946.62" y="-1057.65" font-family="Times,serif" font-size="18.00">0x503000000f10</text>
<polyline fill="none" stroke="black" points="3016.5,-1050.5 3016.5,-1078.75"/>
<text text-anchor="middle" x="3087.5" y="-1057.65" font-family="Times,serif" font-size="18.00">0x503000001030</text>
</g>
<!-- 0x503000001090&#45;&gt;0x503000001060 -->
<g id="edge28" class="edge">
<title>0x503000001090&#45;&gt;0x503000001060</title>
<path fill="none" stroke="black" d="M3017.62,-1200.05C3017.62,-1191.83 3017.62,-1183.3 3017.62,-1174.89"/>
<polygon fill="black" stroke="black" points="3021.13,-1175.05 3017.63,-1165.05 3014.13,-1175.05 3021.13,-1175.05"/>
</g>
<!-- 0x503000000850 -->
<g id="node4" class="node">
<title>0x503000000850</title>
<path fill="crimson" stroke="black" d="M793.62,-900.5C793.62,-900.5 1053.62,-900.5 1053.62,-900.5 1059.62,-900.5 1065.62,-906.5 1065.62,-912.5 1065.62,-912.5 1065.62,-1001.5 1065.62,-1001.5 1065.62,-1007.5 1059.62,-1013.5 1053.62,-1013.5 1053.62,-1013.5 793.62,-1013.5 793.62,-1013.5 787.62,-1013.5 781.62,-1007.5 781.62,-1001.5 781.62,-1001.5 781.62,-912.5 781.62,-912.5 781.62,-906.5 787.62,-900.5 793.62,-900.5"/>
<text text-anchor="middle" x="923.62" y="-992.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="781.62,-985.25 1065.62,-985.25"/>
<text text-anchor="middle" x="923.62" y="-964.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="781.62,-957 1065.62,-957"/>
<text text-anchor="middle" x="923.62" y="-935.9" font-family="Times,serif" font-size="18.00">0x503000000850</text>
<polyline fill="none" stroke="black" points="781.62,-928.75 1065.62,-928.75"/>
<text text-anchor="middle" x="852.62" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000000670</text>
<polyline fill="none" stroke="black" points="923.62,-900.5 923.62,-928.75"/>
<text text-anchor="middle" x="994.62" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000000820</text>
</g>
<!-- 0x503000000a00&#45;&gt;0x503000000850 -->
<g id="edge3" class="edge">
<title>0x503000000a00&#45;&gt;0x503000000850</title>
<path fill="none" stroke="black" d="M1153.12,-1050.05C1127.09,-1039.61 1099.78,-1028.65 1073.45,-1018.09"/>
<polygon fill="black" stroke="black" points="1075.01,-1014.95 1064.42,-1014.47 1072.4,-1021.44 1075.01,-1014.95"/>
</g>
<!-- 0x5030000009d0 -->
<g id="node21" class="node">
<title>0x5030000009d0</title>
<path fill="orange" stroke="black" d="M1210.62,-900.5C1210.62,-900.5 1374.62,-900.5 1374.62,-900.5 1380.62,-900.5 1386.62,-906.5 1386.62,-912.5 1386.62,-912.5 1386.62,-1001.5 1386.62,-1001.5 1386.62,-1007.5 1380.62,-1013.5 1374.62,-1013.5 1374.62,-1013.5 1210.62,-1013.5 1210.62,-1013.5 1204.62,-1013.5 1198.62,-1007.5 1198.62,-1001.5 1198.62,-1001.5 1198.62,-912.5 1198.62,-912.5 1198.62,-906.5 1204.62,-900.5 1210.62,-900.5"/>
<text text-anchor="middle" x="1292.62" y="-992.4" font-family="Times,serif" font-size="18.00">Nodetype: Function</text>
<polyline fill="none" stroke="black" points="1198.62,-985.25 1386.62,-985.25"/>
<text text-anchor="middle" x="1292.62" y="-964.15" font-family="Times,serif" font-size="18.00">TypeFunction: ln</text>
<polyline fill="none" stroke="black" points="1198.62,-957 1386.62,-957"/>
<text text-anchor="middle" x="1292.62" y="-935.9" font-family="Times,serif" font-size="18.00">0x5030000009d0</text>
<polyline fill="none" stroke="black" points="1198.62,-928.75 1386.62,-928.75"/>
<text text-anchor="middle" x="1269.62" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000000880</text>
<polyline fill="none" stroke="black" points="1340.62,-900.5 1340.62,-928.75"/>
<text text-anchor="middle" x="1363.62" y="-907.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000a00&#45;&gt;0x5030000009d0 -->
<g id="edge20" class="edge">
<title>0x503000000a00&#45;&gt;0x5030000009d0</title>
<path fill="none" stroke="black" d="M1292.62,-1050.05C1292.62,-1041.83 1292.62,-1033.3 1292.62,-1024.89"/>
<polygon fill="black" stroke="black" points="1296.13,-1025.05 1292.63,-1015.05 1289.13,-1025.05 1296.13,-1025.05"/>
</g>
<!-- 0x503000000670 -->
<g id="node5" class="node">
<title>0x503000000670</title>
<path fill="crimson" stroke="black" d="M253.62,-750.5C253.62,-750.5 513.62,-750.5 513.62,-750.5 519.62,-750.5 525.62,-756.5 525.62,-762.5 525.62,-762.5 525.62,-851.5 525.62,-851.5 525.62,-857.5 519.62,-863.5 513.62,-863.5 513.62,-863.5 253.62,-863.5 253.62,-863.5 247.62,-863.5 241.62,-857.5 241.62,-851.5 241.62,-851.5 241.62,-762.5 241.62,-762.5 241.62,-756.5 247.62,-750.5 253.62,-750.5"/>
<text text-anchor="middle" x="383.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="241.62,-835.25 525.62,-835.25"/>
<text text-anchor="middle" x="383.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: /</text>
<polyline fill="none" stroke="black" points="241.62,-807 525.62,-807"/>
<text text-anchor="middle" x="383.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000000670</text>
<polyline fill="none" stroke="black" points="241.62,-778.75 525.62,-778.75"/>
<text text-anchor="middle" x="312.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000550</text>
<polyline fill="none" stroke="black" points="383.62,-750.5 383.62,-778.75"/>
<text text-anchor="middle" x="454.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000580</text>
</g>
<!-- 0x503000000850&#45;&gt;0x503000000670 -->
<g id="edge4" class="edge">
<title>0x503000000850&#45;&gt;0x503000000670</title>
<path fill="none" stroke="black" d="M781.39,-917.02C706.04,-896.36 613.42,-870.98 536.53,-849.91"/>
<polygon fill="black" stroke="black" points="537.81,-846.63 527.24,-847.36 535.96,-853.38 537.81,-846.63"/>
</g>
<!-- 0x503000000820 -->
<g id="node12" class="node">
<title>0x503000000820</title>
<path fill="crimson" stroke="black" d="M795.12,-750.5C795.12,-750.5 1052.12,-750.5 1052.12,-750.5 1058.12,-750.5 1064.12,-756.5 1064.12,-762.5 1064.12,-762.5 1064.12,-851.5 1064.12,-851.5 1064.12,-857.5 1058.12,-863.5 1052.12,-863.5 1052.12,-863.5 795.12,-863.5 795.12,-863.5 789.12,-863.5 783.12,-857.5 783.12,-851.5 783.12,-851.5 783.12,-762.5 783.12,-762.5 783.12,-756.5 789.12,-750.5 795.12,-750.5"/>
<text text-anchor="middle" x="923.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="783.12,-835.25 1064.12,-835.25"/>
<text text-anchor="middle" x="923.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: +</text>
<polyline fill="none" stroke="black" points="783.12,-807 1064.12,-807"/>
<text text-anchor="middle" x="923.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000000820</text>
<polyline fill="none" stroke="black" points="783.12,-778.75 1064.12,-778.75"/>
<text text-anchor="middle" x="853.75" y="-757.65" font-family="Times,serif" font-size="18.00">0x5030000007c0</text>
<polyline fill="none" stroke="black" points="924.38,-750.5 924.38,-778.75"/>
<text text-anchor="middle" x="994.25" y="-757.65" font-family="Times,serif" font-size="18.00">0x5030000007f0</text>
</g>
<!-- 0x503000000850&#45;&gt;0x503000000820 -->
<g id="edge11" class="edge">
<title>0x503000000850&#45;&gt;0x503000000820</title>
<path fill="none" stroke="black" d="M923.62,-900.05C923.62,-891.83 923.62,-883.3 923.62,-874.89"/>
<polygon fill="black" stroke="black" points="927.13,-875.05 923.63,-865.05 920.13,-875.05 927.13,-875.05"/>
</g>
<!-- 0x503000000550 -->
<g id="node6" class="node">
<title>0x503000000550</title>
<path fill="lightskyblue" stroke="black" d="M93.62,-600.5C93.62,-600.5 211.62,-600.5 211.62,-600.5 217.62,-600.5 223.62,-606.5 223.62,-612.5 223.62,-612.5 223.62,-701.5 223.62,-701.5 223.62,-707.5 217.62,-713.5 211.62,-713.5 211.62,-713.5 93.62,-713.5 93.62,-713.5 87.62,-713.5 81.62,-707.5 81.62,-701.5 81.62,-701.5 81.62,-612.5 81.62,-612.5 81.62,-606.5 87.62,-600.5 93.62,-600.5"/>
<text text-anchor="middle" x="152.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="81.62,-685.25 223.62,-685.25"/>
<text text-anchor="middle" x="152.62" y="-664.15" font-family="Times,serif" font-size="18.00">Num: 1.00</text>
<polyline fill="none" stroke="black" points="81.62,-657 223.62,-657"/>
<text text-anchor="middle" x="152.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000550</text>
<polyline fill="none" stroke="black" points="81.62,-628.75 223.62,-628.75"/>
<text text-anchor="middle" x="117.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="152.62,-600.5 152.62,-628.75"/>
<text text-anchor="middle" x="188.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000670&#45;&gt;0x503000000550 -->
<g id="edge5" class="edge">
<title>0x503000000670&#45;&gt;0x503000000550</title>
<path fill="none" stroke="black" d="M290.01,-750.23C273.2,-739.91 255.8,-729.02 233.51,-714.51"/>
<polygon fill="black" stroke="black" points="235.55,-711.67 225.27,-709.13 231.72,-717.53 235.55,-711.67"/>
</g>
<!-- 0x503000000580 -->
<g id="node7" class="node">
<title>0x503000000580</title>
<path fill="crimson" stroke="black" d="M253.62,-600.5C253.62,-600.5 513.62,-600.5 513.62,-600.5 519.62,-600.5 525.62,-606.5 525.62,-612.5 525.62,-612.5 525.62,-701.5 525.62,-701.5 525.62,-707.5 519.62,-713.5 513.62,-713.5 513.62,-713.5 253.62,-713.5 253.62,-713.5 247.62,-713.5 241.62,-707.5 241.62,-701.5 241.62,-701.5 241.62,-612.5 241.62,-612.5 241.62,-606.5 247.62,-600.5 253.62,-600.5"/>
<text text-anchor="middle" x="383.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="241.62,-685.25 525.62,-685.25"/>
<text text-anchor="middle" x="383.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: +</text>
<polyline fill="none" stroke="black" points="241.62,-657 525.62,-657"/>
<text text-anchor="middle" x="383.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000580</text>
<polyline fill="none" stroke="black" points="241.62,-628.75 525.62,-628.75"/>
<text text-anchor="middle" x="312.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x5030000005b0</text>
<polyline fill="none" stroke="black" points="383.62,-600.5 383.62,-628.75"/>
<text text-anchor="middle" x="454.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000640</text>
</g>
<!-- 0x503000000670&#45;&gt;0x503000000580 -->
<g id="edge6" class="edge">
<title>0x503000000670&#45;&gt;0x503000000580</title>
<path fill="none" stroke="black" d="M383.62,-750.05C383.62,-741.83 383.62,-733.3 383.62,-724.89"/>
<polygon fill="black" stroke="black" points="387.13,-725.05 383.63,-715.05 380.13,-725.05 387.13,-725.05"/>
</g>
<!-- 0x5030000005b0 -->
<g id="node8" class="node">
<title>0x5030000005b0</title>
<path fill="crimson" stroke="black" d="M23,-450.5C23,-450.5 282.25,-450.5 282.25,-450.5 288.25,-450.5 294.25,-456.5 294.25,-462.5 294.25,-462.5 294.25,-551.5 294.25,-551.5 294.25,-557.5 288.25,-563.5 282.25,-563.5 282.25,-563.5 23,-563.5 23,-563.5 17,-563.5 11,-557.5 11,-551.5 11,-551.5 11,-462.5 11,-462.5 11,-456.5 17,-450.5 23,-450.5"/>
<text text-anchor="middle" x="152.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="11,-535.25 294.25,-535.25"/>
<text text-anchor="middle" x="152.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="11,-507 294.25,-507"/>
<text text-anchor="middle" x="152.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x5030000005b0</text>
<polyline fill="none" stroke="black" points="11,-478.75 294.25,-478.75"/>
<text text-anchor="middle" x="81.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x5030000005e0</text>
<polyline fill="none" stroke="black" points="152.25,-450.5 152.25,-478.75"/>
<text text-anchor="middle" x="223.25" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000610</text>
</g>
<!-- 0x503000000580&#45;&gt;0x5030000005b0 -->
<g id="edge7" class="edge">
<title>0x503000000580&#45;&gt;0x5030000005b0</title>
<path fill="none" stroke="black" d="M296.29,-600.05C280.95,-590.22 264.9,-579.94 249.33,-569.96"/>
<polygon fill="black" stroke="black" points="251.28,-567.05 240.97,-564.6 247.5,-572.94 251.28,-567.05"/>
</g>
<!-- 0x503000000640 -->
<g id="node11" class="node">
<title>0x503000000640</title>
<path fill="lightskyblue" stroke="black" d="M324.62,-450.5C324.62,-450.5 442.62,-450.5 442.62,-450.5 448.62,-450.5 454.62,-456.5 454.62,-462.5 454.62,-462.5 454.62,-551.5 454.62,-551.5 454.62,-557.5 448.62,-563.5 442.62,-563.5 442.62,-563.5 324.62,-563.5 324.62,-563.5 318.62,-563.5 312.62,-557.5 312.62,-551.5 312.62,-551.5 312.62,-462.5 312.62,-462.5 312.62,-456.5 318.62,-450.5 324.62,-450.5"/>
<text text-anchor="middle" x="383.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="312.62,-535.25 454.62,-535.25"/>
<text text-anchor="middle" x="383.62" y="-514.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="312.62,-507 454.62,-507"/>
<text text-anchor="middle" x="383.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000640</text>
<polyline fill="none" stroke="black" points="312.62,-478.75 454.62,-478.75"/>
<text text-anchor="middle" x="348.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="383.62,-450.5 383.62,-478.75"/>
<text text-anchor="middle" x="419.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000580&#45;&gt;0x503000000640 -->
<g id="edge10" class="edge">
<title>0x503000000580&#45;&gt;0x503000000640</title>
<path fill="none" stroke="black" d="M383.62,-600.05C383.62,-591.83 383.62,-583.3 383.62,-574.89"/>
<polygon fill="black" stroke="black" points="387.13,-575.05 383.63,-565.05 380.13,-575.05 387.13,-575.05"/>
</g>
<!-- 0x5030000005e0 -->
<g id="node9" class="node">
<title>0x5030000005e0</title>
<path fill="lightskyblue" stroke="black" d="M12,-300.5C12,-300.5 129.25,-300.5 129.25,-300.5 135.25,-300.5 141.25,-306.5 141.25,-312.5 141.25,-312.5 141.25,-401.5 141.25,-401.5 141.25,-407.5 135.25,-413.5 129.25,-413.5 129.25,-413.5 12,-413.5 12,-413.5 6,-413.5 0,-407.5 0,-401.5 0,-401.5 0,-312.5 0,-312.5 0,-306.5 6,-300.5 12,-300.5"/>
<text text-anchor="middle" x="70.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="0,-385.25 141.25,-385.25"/>
<text text-anchor="middle" x="70.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 5.00</text>
<polyline fill="none" stroke="black" points="0,-357 141.25,-357"/>
<text text-anchor="middle" x="70.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x5030000005e0</text>
<polyline fill="none" stroke="black" points="0,-328.75 141.25,-328.75"/>
<text text-anchor="middle" x="35" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="70,-300.5 70,-328.75"/>
<text text-anchor="middle" x="105.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x5030000005b0&#45;&gt;0x5030000005e0 -->
<g id="edge8" class="edge">
<title>0x5030000005b0&#45;&gt;0x5030000005e0</title>
<path fill="none" stroke="black" d="M121.62,-450.05C116.81,-441.36 111.81,-432.33 106.89,-423.46"/>
<polygon fill="black" stroke="black" points="110.04,-421.92 102.13,-414.86 103.92,-425.31 110.04,-421.92"/>
</g>
<!-- 0x503000000610 -->
<g id="node10" class="node">
<title>0x503000000610</title>
<path fill="green" stroke="black" d="M171,-300.5C171,-300.5 300.25,-300.5 300.25,-300.5 306.25,-300.5 312.25,-306.5 312.25,-312.5 312.25,-312.5 312.25,-401.5 312.25,-401.5 312.25,-407.5 306.25,-413.5 300.25,-413.5 300.25,-413.5 171,-413.5 171,-413.5 165,-413.5 159,-407.5 159,-401.5 159,-401.5 159,-312.5 159,-312.5 159,-306.5 165,-300.5 171,-300.5"/>
<text text-anchor="middle" x="235.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="159,-385.25 312.25,-385.25"/>
<text text-anchor="middle" x="235.62" y="-364.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="159,-357 312.25,-357"/>
<text text-anchor="middle" x="235.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000610</text>
<polyline fill="none" stroke="black" points="159,-328.75 312.25,-328.75"/>
<text text-anchor="middle" x="197" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="235,-300.5 235,-328.75"/>
<text text-anchor="middle" x="273.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x5030000005b0&#45;&gt;0x503000000610 -->
<g id="edge9" class="edge">
<title>0x5030000005b0&#45;&gt;0x503000000610</title>
<path fill="none" stroke="black" d="M184,-450.05C188.87,-441.36 193.94,-432.33 198.92,-423.46"/>
<polygon fill="black" stroke="black" points="201.9,-425.29 203.74,-414.86 195.79,-421.87 201.9,-425.29"/>
</g>
<!-- 0x5030000007c0 -->
<g id="node13" class="node">
<title>0x5030000007c0</title>
<path fill="crimson" stroke="black" d="M615.62,-600.5C615.62,-600.5 875.62,-600.5 875.62,-600.5 881.62,-600.5 887.62,-606.5 887.62,-612.5 887.62,-612.5 887.62,-701.5 887.62,-701.5 887.62,-707.5 881.62,-713.5 875.62,-713.5 875.62,-713.5 615.62,-713.5 615.62,-713.5 609.62,-713.5 603.62,-707.5 603.62,-701.5 603.62,-701.5 603.62,-612.5 603.62,-612.5 603.62,-606.5 609.62,-600.5 615.62,-600.5"/>
<text text-anchor="middle" x="745.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="603.62,-685.25 887.62,-685.25"/>
<text text-anchor="middle" x="745.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: +</text>
<polyline fill="none" stroke="black" points="603.62,-657 887.62,-657"/>
<text text-anchor="middle" x="745.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x5030000007c0</text>
<polyline fill="none" stroke="black" points="603.62,-628.75 887.62,-628.75"/>
<text text-anchor="middle" x="674.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000700</text>
<polyline fill="none" stroke="black" points="745.62,-600.5 745.62,-628.75"/>
<text text-anchor="middle" x="816.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000790</text>
</g>
<!-- 0x503000000820&#45;&gt;0x5030000007c0 -->
<g id="edge12" class="edge">
<title>0x503000000820&#45;&gt;0x5030000007c0</title>
<path fill="none" stroke="black" d="M856.33,-750.05C844.96,-740.59 833.08,-730.71 821.5,-721.09"/>
<polygon fill="black" stroke="black" points="823.81,-718.46 813.88,-714.75 819.33,-723.84 823.81,-718.46"/>
</g>
<!-- 0x5030000007f0 -->
<g id="node20" class="node">
<title>0x5030000007f0</title>
<path fill="lightskyblue" stroke="black" d="M917.75,-600.5C917.75,-600.5 1033.5,-600.5 1033.5,-600.5 1039.5,-600.5 1045.5,-606.5 1045.5,-612.5 1045.5,-612.5 1045.5,-701.5 1045.5,-701.5 1045.5,-707.5 1039.5,-713.5 1033.5,-713.5 1033.5,-713.5 917.75,-713.5 917.75,-713.5 911.75,-713.5 905.75,-707.5 905.75,-701.5 905.75,-701.5 905.75,-612.5 905.75,-612.5 905.75,-606.5 911.75,-600.5 917.75,-600.5"/>
<text text-anchor="middle" x="975.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="905.75,-685.25 1045.5,-685.25"/>
<text text-anchor="middle" x="975.62" y="-664.15" font-family="Times,serif" font-size="18.00">Num: 0.00</text>
<polyline fill="none" stroke="black" points="905.75,-657 1045.5,-657"/>
<text text-anchor="middle" x="975.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x5030000007f0</text>
<polyline fill="none" stroke="black" points="905.75,-628.75 1045.5,-628.75"/>
<text text-anchor="middle" x="940.25" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="974.75,-600.5 974.75,-628.75"/>
<text text-anchor="middle" x="1009.75" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000820&#45;&gt;0x5030000007f0 -->
<g id="edge19" class="edge">
<title>0x503000000820&#45;&gt;0x5030000007f0</title>
<path fill="none" stroke="black" d="M943.28,-750.05C946.24,-741.64 949.31,-732.91 952.32,-724.32"/>
<polygon fill="black" stroke="black" points="955.6,-725.56 955.61,-714.97 948.99,-723.24 955.6,-725.56"/>
</g>
<!-- 0x503000000700 -->
<g id="node14" class="node">
<title>0x503000000700</title>
<path fill="crimson" stroke="black" d="M484.38,-450.5C484.38,-450.5 742.88,-450.5 742.88,-450.5 748.88,-450.5 754.88,-456.5 754.88,-462.5 754.88,-462.5 754.88,-551.5 754.88,-551.5 754.88,-557.5 748.88,-563.5 742.88,-563.5 742.88,-563.5 484.38,-563.5 484.38,-563.5 478.38,-563.5 472.38,-557.5 472.38,-551.5 472.38,-551.5 472.38,-462.5 472.38,-462.5 472.38,-456.5 478.38,-450.5 484.38,-450.5"/>
<text text-anchor="middle" x="613.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="472.38,-535.25 754.88,-535.25"/>
<text text-anchor="middle" x="613.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="472.38,-507 754.88,-507"/>
<text text-anchor="middle" x="613.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000700</text>
<polyline fill="none" stroke="black" points="472.38,-478.75 754.88,-478.75"/>
<text text-anchor="middle" x="542.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x5030000006a0</text>
<polyline fill="none" stroke="black" points="612.88,-450.5 612.88,-478.75"/>
<text text-anchor="middle" x="683.88" y="-457.65" font-family="Times,serif" font-size="18.00">0x5030000006d0</text>
</g>
<!-- 0x5030000007c0&#45;&gt;0x503000000700 -->
<g id="edge13" class="edge">
<title>0x5030000007c0&#45;&gt;0x503000000700</title>
<path fill="none" stroke="black" d="M695.72,-600.05C687.56,-590.9 679.05,-581.36 670.73,-572.03"/>
<polygon fill="black" stroke="black" points="673.44,-569.8 664.17,-564.67 668.21,-574.46 673.44,-569.8"/>
</g>
<!-- 0x503000000790 -->
<g id="node17" class="node">
<title>0x503000000790</title>
<path fill="crimson" stroke="black" d="M784.62,-450.5C784.62,-450.5 1044.62,-450.5 1044.62,-450.5 1050.62,-450.5 1056.62,-456.5 1056.62,-462.5 1056.62,-462.5 1056.62,-551.5 1056.62,-551.5 1056.62,-557.5 1050.62,-563.5 1044.62,-563.5 1044.62,-563.5 784.62,-563.5 784.62,-563.5 778.62,-563.5 772.62,-557.5 772.62,-551.5 772.62,-551.5 772.62,-462.5 772.62,-462.5 772.62,-456.5 778.62,-450.5 784.62,-450.5"/>
<text text-anchor="middle" x="914.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="772.62,-535.25 1056.62,-535.25"/>
<text text-anchor="middle" x="914.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="772.62,-507 1056.62,-507"/>
<text text-anchor="middle" x="914.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000790</text>
<polyline fill="none" stroke="black" points="772.62,-478.75 1056.62,-478.75"/>
<text text-anchor="middle" x="843.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000730</text>
<polyline fill="none" stroke="black" points="914.62,-450.5 914.62,-478.75"/>
<text text-anchor="middle" x="985.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000760</text>
</g>
<!-- 0x5030000007c0&#45;&gt;0x503000000790 -->
<g id="edge16" class="edge">
<title>0x5030000007c0&#45;&gt;0x503000000790</title>
<path fill="none" stroke="black" d="M809.52,-600.05C820.21,-590.68 831.37,-580.91 842.26,-571.37"/>
<polygon fill="black" stroke="black" points="844.57,-574 849.78,-564.78 839.96,-568.74 844.57,-574"/>
</g>
<!-- 0x5030000006a0 -->
<g id="node15" class="node">
<title>0x5030000006a0</title>
<path fill="lightskyblue" stroke="black" d="M424.38,-300.5C424.38,-300.5 540.88,-300.5 540.88,-300.5 546.88,-300.5 552.88,-306.5 552.88,-312.5 552.88,-312.5 552.88,-401.5 552.88,-401.5 552.88,-407.5 546.88,-413.5 540.88,-413.5 540.88,-413.5 424.38,-413.5 424.38,-413.5 418.38,-413.5 412.38,-407.5 412.38,-401.5 412.38,-401.5 412.38,-312.5 412.38,-312.5 412.38,-306.5 418.38,-300.5 424.38,-300.5"/>
<text text-anchor="middle" x="482.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="412.38,-385.25 552.88,-385.25"/>
<text text-anchor="middle" x="482.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 0.00</text>
<polyline fill="none" stroke="black" points="412.38,-357 552.88,-357"/>
<text text-anchor="middle" x="482.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x5030000006a0</text>
<polyline fill="none" stroke="black" points="412.38,-328.75 552.88,-328.75"/>
<text text-anchor="middle" x="447.38" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="482.38,-300.5 482.38,-328.75"/>
<text text-anchor="middle" x="517.38" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000700&#45;&gt;0x5030000006a0 -->
<g id="edge14" class="edge">
<title>0x503000000700&#45;&gt;0x5030000006a0</title>
<path fill="none" stroke="black" d="M564.1,-450.05C556,-440.9 547.55,-431.36 539.3,-422.03"/>
<polygon fill="black" stroke="black" points="542.04,-419.84 532.79,-414.67 536.8,-424.48 542.04,-419.84"/>
</g>
<!-- 0x5030000006d0 -->
<g id="node16" class="node">
<title>0x5030000006d0</title>
<path fill="green" stroke="black" d="M583,-300.5C583,-300.5 712.25,-300.5 712.25,-300.5 718.25,-300.5 724.25,-306.5 724.25,-312.5 724.25,-312.5 724.25,-401.5 724.25,-401.5 724.25,-407.5 718.25,-413.5 712.25,-413.5 712.25,-413.5 583,-413.5 583,-413.5 577,-413.5 571,-407.5 571,-401.5 571,-401.5 571,-312.5 571,-312.5 571,-306.5 577,-300.5 583,-300.5"/>
<text text-anchor="middle" x="647.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="571,-385.25 724.25,-385.25"/>
<text text-anchor="middle" x="647.62" y="-364.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="571,-357 724.25,-357"/>
<text text-anchor="middle" x="647.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x5030000006d0</text>
<polyline fill="none" stroke="black" points="571,-328.75 724.25,-328.75"/>
<text text-anchor="middle" x="609" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="647,-300.5 647,-328.75"/>
<text text-anchor="middle" x="685.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000700&#45;&gt;0x5030000006d0 -->
<g id="edge15" class="edge">
<title>0x503000000700&#45;&gt;0x5030000006d0</title>
<path fill="none" stroke="black" d="M626.48,-450.05C628.39,-441.74 630.37,-433.1 632.32,-424.6"/>
<polygon fill="black" stroke="black" points="635.7,-425.55 634.53,-415.02 628.88,-423.98 635.7,-425.55"/>
</g>
<!-- 0x503000000730 -->
<g id="node18" class="node">
<title>0x503000000730</title>
<path fill="lightskyblue" stroke="black" d="M788.62,-300.5C788.62,-300.5 906.62,-300.5 906.62,-300.5 912.62,-300.5 918.62,-306.5 918.62,-312.5 918.62,-312.5 918.62,-401.5 918.62,-401.5 918.62,-407.5 912.62,-413.5 906.62,-413.5 906.62,-413.5 788.62,-413.5 788.62,-413.5 782.62,-413.5 776.62,-407.5 776.62,-401.5 776.62,-401.5 776.62,-312.5 776.62,-312.5 776.62,-306.5 782.62,-300.5 788.62,-300.5"/>
<text text-anchor="middle" x="847.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="776.62,-385.25 918.62,-385.25"/>
<text text-anchor="middle" x="847.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 5.00</text>
<polyline fill="none" stroke="black" points="776.62,-357 918.62,-357"/>
<text text-anchor="middle" x="847.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000730</text>
<polyline fill="none" stroke="black" points="776.62,-328.75 918.62,-328.75"/>
<text text-anchor="middle" x="812.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="847.62,-300.5 847.62,-328.75"/>
<text text-anchor="middle" x="883.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000790&#45;&gt;0x503000000730 -->
<g id="edge17" class="edge">
<title>0x503000000790&#45;&gt;0x503000000730</title>
<path fill="none" stroke="black" d="M889.3,-450.05C885.41,-441.46 881.36,-432.52 877.39,-423.74"/>
<polygon fill="black" stroke="black" points="880.71,-422.59 873.39,-414.92 874.33,-425.47 880.71,-422.59"/>
</g>
<!-- 0x503000000760 -->
<g id="node19" class="node">
<title>0x503000000760</title>
<path fill="lightskyblue" stroke="black" d="M948.62,-300.5C948.62,-300.5 1066.62,-300.5 1066.62,-300.5 1072.62,-300.5 1078.62,-306.5 1078.62,-312.5 1078.62,-312.5 1078.62,-401.5 1078.62,-401.5 1078.62,-407.5 1072.62,-413.5 1066.62,-413.5 1066.62,-413.5 948.62,-413.5 948.62,-413.5 942.62,-413.5 936.62,-407.5 936.62,-401.5 936.62,-401.5 936.62,-312.5 936.62,-312.5 936.62,-306.5 942.62,-300.5 948.62,-300.5"/>
<text text-anchor="middle" x="1007.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="936.62,-385.25 1078.62,-385.25"/>
<text text-anchor="middle" x="1007.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 1.00</text>
<polyline fill="none" stroke="black" points="936.62,-357 1078.62,-357"/>
<text text-anchor="middle" x="1007.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000760</text>
<polyline fill="none" stroke="black" points="936.62,-328.75 1078.62,-328.75"/>
<text text-anchor="middle" x="972.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1007.62,-300.5 1007.62,-328.75"/>
<text text-anchor="middle" x="1043.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000790&#45;&gt;0x503000000760 -->
<g id="edge18" class="edge">
<title>0x503000000790&#45;&gt;0x503000000760</title>
<path fill="none" stroke="black" d="M949.78,-450.05C955.3,-441.27 961.04,-432.13 966.67,-423.17"/>
<polygon fill="black" stroke="black" points="969.56,-425.15 971.92,-414.82 963.64,-421.43 969.56,-425.15"/>
</g>
<!-- 0x503000000880 -->
<g id="node22" class="node">
<title>0x503000000880</title>
<path fill="crimson" stroke="black" d="M1162.62,-750.5C1162.62,-750.5 1422.62,-750.5 1422.62,-750.5 1428.62,-750.5 1434.62,-756.5 1434.62,-762.5 1434.62,-762.5 1434.62,-851.5 1434.62,-851.5 1434.62,-857.5 1428.62,-863.5 1422.62,-863.5 1422.62,-863.5 1162.62,-863.5 1162.62,-863.5 1156.62,-863.5 1150.62,-857.5 1150.62,-851.5 1150.62,-851.5 1150.62,-762.5 1150.62,-762.5 1150.62,-756.5 1156.62,-750.5 1162.62,-750.5"/>
<text text-anchor="middle" x="1292.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="1150.62,-835.25 1434.62,-835.25"/>
<text text-anchor="middle" x="1292.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: &#45;</text>
<polyline fill="none" stroke="black" points="1150.62,-807 1434.62,-807"/>
<text text-anchor="middle" x="1292.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000000880</text>
<polyline fill="none" stroke="black" points="1150.62,-778.75 1434.62,-778.75"/>
<text text-anchor="middle" x="1221.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x5030000008b0</text>
<polyline fill="none" stroke="black" points="1292.62,-750.5 1292.62,-778.75"/>
<text text-anchor="middle" x="1363.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000940</text>
</g>
<!-- 0x5030000009d0&#45;&gt;0x503000000880 -->
<g id="edge21" class="edge">
<title>0x5030000009d0&#45;&gt;0x503000000880</title>
<path fill="none" stroke="black" d="M1292.62,-900.05C1292.62,-891.83 1292.62,-883.3 1292.62,-874.89"/>
<polygon fill="black" stroke="black" points="1296.13,-875.05 1292.63,-865.05 1289.13,-875.05 1296.13,-875.05"/>
</g>
<!-- 0x5030000008b0 -->
<g id="node23" class="node">
<title>0x5030000008b0</title>
<path fill="crimson" stroke="black" d="M1128,-600.5C1128,-600.5 1387.25,-600.5 1387.25,-600.5 1393.25,-600.5 1399.25,-606.5 1399.25,-612.5 1399.25,-612.5 1399.25,-701.5 1399.25,-701.5 1399.25,-707.5 1393.25,-713.5 1387.25,-713.5 1387.25,-713.5 1128,-713.5 1128,-713.5 1122,-713.5 1116,-707.5 1116,-701.5 1116,-701.5 1116,-612.5 1116,-612.5 1116,-606.5 1122,-600.5 1128,-600.5"/>
<text text-anchor="middle" x="1257.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="1116,-685.25 1399.25,-685.25"/>
<text text-anchor="middle" x="1257.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: ^</text>
<polyline fill="none" stroke="black" points="1116,-657 1399.25,-657"/>
<text text-anchor="middle" x="1257.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x5030000008b0</text>
<polyline fill="none" stroke="black" points="1116,-628.75 1399.25,-628.75"/>
<text text-anchor="middle" x="1186.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x5030000008e0</text>
<polyline fill="none" stroke="black" points="1257.25,-600.5 1257.25,-628.75"/>
<text text-anchor="middle" x="1328.25" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000910</text>
</g>
<!-- 0x503000000880&#45;&gt;0x5030000008b0 -->
<g id="edge22" class="edge">
<title>0x503000000880&#45;&gt;0x5030000008b0</title>
<path fill="none" stroke="black" d="M1279.39,-750.05C1277.43,-741.74 1275.39,-733.1 1273.38,-724.6"/>
<polygon fill="black" stroke="black" points="1276.82,-723.94 1271.11,-715.01 1270,-725.55 1276.82,-723.94"/>
</g>
<!-- 0x503000000940 -->
<g id="node26" class="node">
<title>0x503000000940</title>
<path fill="crimson" stroke="black" d="M1429.38,-600.5C1429.38,-600.5 1687.88,-600.5 1687.88,-600.5 1693.88,-600.5 1699.88,-606.5 1699.88,-612.5 1699.88,-612.5 1699.88,-701.5 1699.88,-701.5 1699.88,-707.5 1693.88,-713.5 1687.88,-713.5 1687.88,-713.5 1429.38,-713.5 1429.38,-713.5 1423.38,-713.5 1417.38,-707.5 1417.38,-701.5 1417.38,-701.5 1417.38,-612.5 1417.38,-612.5 1417.38,-606.5 1423.38,-600.5 1429.38,-600.5"/>
<text text-anchor="middle" x="1558.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="1417.38,-685.25 1699.88,-685.25"/>
<text text-anchor="middle" x="1558.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="1417.38,-657 1699.88,-657"/>
<text text-anchor="middle" x="1558.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000940</text>
<polyline fill="none" stroke="black" points="1417.38,-628.75 1699.88,-628.75"/>
<text text-anchor="middle" x="1488.38" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000970</text>
<polyline fill="none" stroke="black" points="1559.38,-600.5 1559.38,-628.75"/>
<text text-anchor="middle" x="1629.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x5030000009a0</text>
</g>
<!-- 0x503000000880&#45;&gt;0x503000000940 -->
<g id="edge25" class="edge">
<title>0x503000000880&#45;&gt;0x503000000940</title>
<path fill="none" stroke="black" d="M1393.19,-750.05C1411.27,-739.99 1430.21,-729.45 1448.54,-719.25"/>
<polygon fill="black" stroke="black" points="1450,-722.44 1457.04,-714.52 1446.6,-716.33 1450,-722.44"/>
</g>
<!-- 0x5030000008e0 -->
<g id="node24" class="node">
<title>0x5030000008e0</title>
<path fill="green" stroke="black" d="M1087,-450.5C1087,-450.5 1216.25,-450.5 1216.25,-450.5 1222.25,-450.5 1228.25,-456.5 1228.25,-462.5 1228.25,-462.5 1228.25,-551.5 1228.25,-551.5 1228.25,-557.5 1222.25,-563.5 1216.25,-563.5 1216.25,-563.5 1087,-563.5 1087,-563.5 1081,-563.5 1075,-557.5 1075,-551.5 1075,-551.5 1075,-462.5 1075,-462.5 1075,-456.5 1081,-450.5 1087,-450.5"/>
<text text-anchor="middle" x="1151.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="1075,-535.25 1228.25,-535.25"/>
<text text-anchor="middle" x="1151.62" y="-514.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="1075,-507 1228.25,-507"/>
<text text-anchor="middle" x="1151.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x5030000008e0</text>
<polyline fill="none" stroke="black" points="1075,-478.75 1228.25,-478.75"/>
<text text-anchor="middle" x="1113" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1151,-450.5 1151,-478.75"/>
<text text-anchor="middle" x="1189.5" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x5030000008b0&#45;&gt;0x5030000008e0 -->
<g id="edge23" class="edge">
<title>0x5030000008b0&#45;&gt;0x5030000008e0</title>
<path fill="none" stroke="black" d="M1217.55,-600.05C1211.2,-591.18 1204.58,-581.94 1198.1,-572.89"/>
<polygon fill="black" stroke="black" points="1200.95,-570.86 1192.29,-564.77 1195.26,-574.94 1200.95,-570.86"/>
</g>
<!-- 0x503000000910 -->
<g id="node25" class="node">
<title>0x503000000910</title>
<path fill="lightskyblue" stroke="black" d="M1258.62,-450.5C1258.62,-450.5 1376.62,-450.5 1376.62,-450.5 1382.62,-450.5 1388.62,-456.5 1388.62,-462.5 1388.62,-462.5 1388.62,-551.5 1388.62,-551.5 1388.62,-557.5 1382.62,-563.5 1376.62,-563.5 1376.62,-563.5 1258.62,-563.5 1258.62,-563.5 1252.62,-563.5 1246.62,-557.5 1246.62,-551.5 1246.62,-551.5 1246.62,-462.5 1246.62,-462.5 1246.62,-456.5 1252.62,-450.5 1258.62,-450.5"/>
<text text-anchor="middle" x="1317.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="1246.62,-535.25 1388.62,-535.25"/>
<text text-anchor="middle" x="1317.62" y="-514.15" font-family="Times,serif" font-size="18.00">Num: 3.00</text>
<polyline fill="none" stroke="black" points="1246.62,-507 1388.62,-507"/>
<text text-anchor="middle" x="1317.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000910</text>
<polyline fill="none" stroke="black" points="1246.62,-478.75 1388.62,-478.75"/>
<text text-anchor="middle" x="1282.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1317.62,-450.5 1317.62,-478.75"/>
<text text-anchor="middle" x="1353.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x5030000008b0&#45;&gt;0x503000000910 -->
<g id="edge24" class="edge">
<title>0x5030000008b0&#45;&gt;0x503000000910</title>
<path fill="none" stroke="black" d="M1280.31,-600.05C1283.75,-591.55 1287.33,-582.72 1290.86,-574.03"/>
<polygon fill="black" stroke="black" points="1294.03,-575.53 1294.54,-564.94 1287.54,-572.9 1294.03,-575.53"/>
</g>
<!-- 0x503000000970 -->
<g id="node27" class="node">
<title>0x503000000970</title>
<path fill="lightskyblue" stroke="black" d="M1418.62,-450.5C1418.62,-450.5 1536.62,-450.5 1536.62,-450.5 1542.62,-450.5 1548.62,-456.5 1548.62,-462.5 1548.62,-462.5 1548.62,-551.5 1548.62,-551.5 1548.62,-557.5 1542.62,-563.5 1536.62,-563.5 1536.62,-563.5 1418.62,-563.5 1418.62,-563.5 1412.62,-563.5 1406.62,-557.5 1406.62,-551.5 1406.62,-551.5 1406.62,-462.5 1406.62,-462.5 1406.62,-456.5 1412.62,-450.5 1418.62,-450.5"/>
<text text-anchor="middle" x="1477.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="1406.62,-535.25 1548.62,-535.25"/>
<text text-anchor="middle" x="1477.62" y="-514.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="1406.62,-507 1548.62,-507"/>
<text text-anchor="middle" x="1477.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000970</text>
<polyline fill="none" stroke="black" points="1406.62,-478.75 1548.62,-478.75"/>
<text text-anchor="middle" x="1442.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1477.62,-450.5 1477.62,-478.75"/>
<text text-anchor="middle" x="1513.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000940&#45;&gt;0x503000000970 -->
<g id="edge26" class="edge">
<title>0x503000000940&#45;&gt;0x503000000970</title>
<path fill="none" stroke="black" d="M1528,-600.05C1523.25,-591.36 1518.3,-582.33 1513.45,-573.46"/>
<polygon fill="black" stroke="black" points="1516.62,-571.96 1508.75,-564.87 1510.48,-575.32 1516.62,-571.96"/>
</g>
<!-- 0x5030000009a0 -->
<g id="node28" class="node">
<title>0x5030000009a0</title>
<path fill="green" stroke="black" d="M1579,-450.5C1579,-450.5 1708.25,-450.5 1708.25,-450.5 1714.25,-450.5 1720.25,-456.5 1720.25,-462.5 1720.25,-462.5 1720.25,-551.5 1720.25,-551.5 1720.25,-557.5 1714.25,-563.5 1708.25,-563.5 1708.25,-563.5 1579,-563.5 1579,-563.5 1573,-563.5 1567,-557.5 1567,-551.5 1567,-551.5 1567,-462.5 1567,-462.5 1567,-456.5 1573,-450.5 1579,-450.5"/>
<text text-anchor="middle" x="1643.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="1567,-535.25 1720.25,-535.25"/>
<text text-anchor="middle" x="1643.62" y="-514.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="1567,-507 1720.25,-507"/>
<text text-anchor="middle" x="1643.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x5030000009a0</text>
<polyline fill="none" stroke="black" points="1567,-478.75 1720.25,-478.75"/>
<text text-anchor="middle" x="1605" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1643,-450.5 1643,-478.75"/>
<text text-anchor="middle" x="1681.5" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000940&#45;&gt;0x5030000009a0 -->
<g id="edge27" class="edge">
<title>0x503000000940&#45;&gt;0x5030000009a0</title>
<path fill="none" stroke="black" d="M1590.76,-600.05C1595.75,-591.36 1600.94,-582.33 1606.03,-573.46"/>
<polygon fill="black" stroke="black" points="1609.03,-575.27 1610.97,-564.85 1602.96,-571.78 1609.03,-575.27"/>
</g>
<!-- 0x503000000f10 -->
<g id="node30" class="node">
<title>0x503000000f10</title>
<path fill="crimson" stroke="black" d="M2658.38,-900.5C2658.38,-900.5 2916.88,-900.5 2916.88,-900.5 2922.88,-900.5 2928.88,-906.5 2928.88,-912.5 2928.88,-912.5 2928.88,-1001.5 2928.88,-1001.5 2928.88,-1007.5 2922.88,-1013.5 2916.88,-1013.5 2916.88,-1013.5 2658.38,-1013.5 2658.38,-1013.5 2652.38,-1013.5 2646.38,-1007.5 2646.38,-1001.5 2646.38,-1001.5 2646.38,-912.5 2646.38,-912.5 2646.38,-906.5 2652.38,-900.5 2658.38,-900.5"/>
<text text-anchor="middle" x="2787.62" y="-992.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2646.38,-985.25 2928.88,-985.25"/>
<text text-anchor="middle" x="2787.62" y="-964.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="2646.38,-957 2928.88,-957"/>
<text text-anchor="middle" x="2787.62" y="-935.9" font-family="Times,serif" font-size="18.00">0x503000000f10</text>
<polyline fill="none" stroke="black" points="2646.38,-928.75 2928.88,-928.75"/>
<text text-anchor="middle" x="2717.38" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000000bb0</text>
<polyline fill="none" stroke="black" points="2788.38,-900.5 2788.38,-928.75"/>
<text text-anchor="middle" x="2858.62" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000000ee0</text>
</g>
<!-- 0x503000001060&#45;&gt;0x503000000f10 -->
<g id="edge29" class="edge">
<title>0x503000001060&#45;&gt;0x503000000f10</title>
<path fill="none" stroke="black" d="M2930.67,-1050.05C2915.4,-1040.22 2899.42,-1029.94 2883.91,-1019.96"/>
<polygon fill="black" stroke="black" points="2885.9,-1017.07 2875.59,-1014.61 2882.11,-1022.96 2885.9,-1017.07"/>
</g>
<!-- 0x503000001030 -->
<g id="node57" class="node">
<title>0x503000001030</title>
<path fill="orange" stroke="black" d="M3132.75,-900.5C3132.75,-900.5 3294.5,-900.5 3294.5,-900.5 3300.5,-900.5 3306.5,-906.5 3306.5,-912.5 3306.5,-912.5 3306.5,-1001.5 3306.5,-1001.5 3306.5,-1007.5 3300.5,-1013.5 3294.5,-1013.5 3294.5,-1013.5 3132.75,-1013.5 3132.75,-1013.5 3126.75,-1013.5 3120.75,-1007.5 3120.75,-1001.5 3120.75,-1001.5 3120.75,-912.5 3120.75,-912.5 3120.75,-906.5 3126.75,-900.5 3132.75,-900.5"/>
<text text-anchor="middle" x="3213.62" y="-992.4" font-family="Times,serif" font-size="18.00">Nodetype: Function</text>
<polyline fill="none" stroke="black" points="3120.75,-985.25 3306.5,-985.25"/>
<text text-anchor="middle" x="3213.62" y="-964.15" font-family="Times,serif" font-size="18.00">TypeFunction: ln</text>
<polyline fill="none" stroke="black" points="3120.75,-957 3306.5,-957"/>
<text text-anchor="middle" x="3213.62" y="-935.9" font-family="Times,serif" font-size="18.00">0x503000001030</text>
<polyline fill="none" stroke="black" points="3120.75,-928.75 3306.5,-928.75"/>
<text text-anchor="middle" x="3190.62" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000000f40</text>
<polyline fill="none" stroke="black" points="3260.5,-900.5 3260.5,-928.75"/>
<text text-anchor="middle" x="3283.5" y="-907.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000001060&#45;&gt;0x503000001030 -->
<g id="edge56" class="edge">
<title>0x503000001060&#45;&gt;0x503000001030</title>
<path fill="none" stroke="black" d="M3091.72,-1050.05C3104.5,-1040.4 3117.84,-1030.32 3130.83,-1020.52"/>
<polygon fill="black" stroke="black" points="3132.67,-1023.52 3138.54,-1014.7 3128.45,-1017.93 3132.67,-1023.52"/>
</g>
<!-- 0x503000000bb0 -->
<g id="node31" class="node">
<title>0x503000000bb0</title>
<path fill="crimson" stroke="black" d="M2048.12,-750.5C2048.12,-750.5 2305.12,-750.5 2305.12,-750.5 2311.12,-750.5 2317.12,-756.5 2317.12,-762.5 2317.12,-762.5 2317.12,-851.5 2317.12,-851.5 2317.12,-857.5 2311.12,-863.5 2305.12,-863.5 2305.12,-863.5 2048.12,-863.5 2048.12,-863.5 2042.12,-863.5 2036.12,-857.5 2036.12,-851.5 2036.12,-851.5 2036.12,-762.5 2036.12,-762.5 2036.12,-756.5 2042.12,-750.5 2048.12,-750.5"/>
<text text-anchor="middle" x="2176.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2036.12,-835.25 2317.12,-835.25"/>
<text text-anchor="middle" x="2176.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: /</text>
<polyline fill="none" stroke="black" points="2036.12,-807 2317.12,-807"/>
<text text-anchor="middle" x="2176.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000000bb0</text>
<polyline fill="none" stroke="black" points="2036.12,-778.75 2317.12,-778.75"/>
<text text-anchor="middle" x="2106.38" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000a30</text>
<polyline fill="none" stroke="black" points="2176.62,-750.5 2176.62,-778.75"/>
<text text-anchor="middle" x="2246.88" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000a60</text>
</g>
<!-- 0x503000000f10&#45;&gt;0x503000000bb0 -->
<g id="edge30" class="edge">
<title>0x503000000f10&#45;&gt;0x503000000bb0</title>
<path fill="none" stroke="black" d="M2645.91,-921.67C2550.87,-898.65 2425.79,-868.35 2328.67,-844.83"/>
<polygon fill="black" stroke="black" points="2329.58,-841.45 2319.04,-842.5 2327.93,-848.25 2329.58,-841.45"/>
</g>
<!-- 0x503000000ee0 -->
<g id="node40" class="node">
<title>0x503000000ee0</title>
<path fill="crimson" stroke="black" d="M2658.38,-750.5C2658.38,-750.5 2916.88,-750.5 2916.88,-750.5 2922.88,-750.5 2928.88,-756.5 2928.88,-762.5 2928.88,-762.5 2928.88,-851.5 2928.88,-851.5 2928.88,-857.5 2922.88,-863.5 2916.88,-863.5 2916.88,-863.5 2658.38,-863.5 2658.38,-863.5 2652.38,-863.5 2646.38,-857.5 2646.38,-851.5 2646.38,-851.5 2646.38,-762.5 2646.38,-762.5 2646.38,-756.5 2652.38,-750.5 2658.38,-750.5"/>
<text text-anchor="middle" x="2787.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2646.38,-835.25 2928.88,-835.25"/>
<text text-anchor="middle" x="2787.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: &#45;</text>
<polyline fill="none" stroke="black" points="2646.38,-807 2928.88,-807"/>
<text text-anchor="middle" x="2787.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000000ee0</text>
<polyline fill="none" stroke="black" points="2646.38,-778.75 2928.88,-778.75"/>
<text text-anchor="middle" x="2717.38" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000d60</text>
<polyline fill="none" stroke="black" points="2788.38,-750.5 2788.38,-778.75"/>
<text text-anchor="middle" x="2858.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000eb0</text>
</g>
<!-- 0x503000000f10&#45;&gt;0x503000000ee0 -->
<g id="edge39" class="edge">
<title>0x503000000f10&#45;&gt;0x503000000ee0</title>
<path fill="none" stroke="black" d="M2787.62,-900.05C2787.62,-891.83 2787.62,-883.3 2787.62,-874.89"/>
<polygon fill="black" stroke="black" points="2791.13,-875.05 2787.63,-865.05 2784.13,-875.05 2791.13,-875.05"/>
</g>
<!-- 0x503000000a30 -->
<g id="node32" class="node">
<title>0x503000000a30</title>
<path fill="lightskyblue" stroke="black" d="M1888.38,-600.5C1888.38,-600.5 2004.88,-600.5 2004.88,-600.5 2010.88,-600.5 2016.88,-606.5 2016.88,-612.5 2016.88,-612.5 2016.88,-701.5 2016.88,-701.5 2016.88,-707.5 2010.88,-713.5 2004.88,-713.5 2004.88,-713.5 1888.38,-713.5 1888.38,-713.5 1882.38,-713.5 1876.38,-707.5 1876.38,-701.5 1876.38,-701.5 1876.38,-612.5 1876.38,-612.5 1876.38,-606.5 1882.38,-600.5 1888.38,-600.5"/>
<text text-anchor="middle" x="1946.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="1876.38,-685.25 2016.88,-685.25"/>
<text text-anchor="middle" x="1946.62" y="-664.15" font-family="Times,serif" font-size="18.00">Num: 1.00</text>
<polyline fill="none" stroke="black" points="1876.38,-657 2016.88,-657"/>
<text text-anchor="middle" x="1946.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000a30</text>
<polyline fill="none" stroke="black" points="1876.38,-628.75 2016.88,-628.75"/>
<text text-anchor="middle" x="1911.38" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1946.38,-600.5 1946.38,-628.75"/>
<text text-anchor="middle" x="1981.38" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000bb0&#45;&gt;0x503000000a30 -->
<g id="edge31" class="edge">
<title>0x503000000bb0&#45;&gt;0x503000000a30</title>
<path fill="none" stroke="black" d="M2083.65,-750.19C2066.88,-739.82 2049.51,-728.89 2026.58,-713.9"/>
<polygon fill="black" stroke="black" points="2028.68,-711.09 2018.4,-708.53 2024.84,-716.95 2028.68,-711.09"/>
</g>
<!-- 0x503000000a60 -->
<g id="node33" class="node">
<title>0x503000000a60</title>
<path fill="crimson" stroke="black" d="M2047.38,-600.5C2047.38,-600.5 2305.88,-600.5 2305.88,-600.5 2311.88,-600.5 2317.88,-606.5 2317.88,-612.5 2317.88,-612.5 2317.88,-701.5 2317.88,-701.5 2317.88,-707.5 2311.88,-713.5 2305.88,-713.5 2305.88,-713.5 2047.38,-713.5 2047.38,-713.5 2041.38,-713.5 2035.38,-707.5 2035.38,-701.5 2035.38,-701.5 2035.38,-612.5 2035.38,-612.5 2035.38,-606.5 2041.38,-600.5 2047.38,-600.5"/>
<text text-anchor="middle" x="2176.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2035.38,-685.25 2317.88,-685.25"/>
<text text-anchor="middle" x="2176.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: &#45;</text>
<polyline fill="none" stroke="black" points="2035.38,-657 2317.88,-657"/>
<text text-anchor="middle" x="2176.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000a60</text>
<polyline fill="none" stroke="black" points="2035.38,-628.75 2317.88,-628.75"/>
<text text-anchor="middle" x="2105.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000a90</text>
<polyline fill="none" stroke="black" points="2175.88,-600.5 2175.88,-628.75"/>
<text text-anchor="middle" x="2246.88" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000b20</text>
</g>
<!-- 0x503000000bb0&#45;&gt;0x503000000a60 -->
<g id="edge32" class="edge">
<title>0x503000000bb0&#45;&gt;0x503000000a60</title>
<path fill="none" stroke="black" d="M2176.62,-750.05C2176.62,-741.83 2176.62,-733.3 2176.62,-724.89"/>
<polygon fill="black" stroke="black" points="2180.13,-725.05 2176.63,-715.05 2173.13,-725.05 2180.13,-725.05"/>
</g>
<!-- 0x503000000a90 -->
<g id="node34" class="node">
<title>0x503000000a90</title>
<path fill="crimson" stroke="black" d="M1750.62,-450.5C1750.62,-450.5 2004.62,-450.5 2004.62,-450.5 2010.62,-450.5 2016.62,-456.5 2016.62,-462.5 2016.62,-462.5 2016.62,-551.5 2016.62,-551.5 2016.62,-557.5 2010.62,-563.5 2004.62,-563.5 2004.62,-563.5 1750.62,-563.5 1750.62,-563.5 1744.62,-563.5 1738.62,-557.5 1738.62,-551.5 1738.62,-551.5 1738.62,-462.5 1738.62,-462.5 1738.62,-456.5 1744.62,-450.5 1750.62,-450.5"/>
<text text-anchor="middle" x="1877.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="1738.62,-535.25 2016.62,-535.25"/>
<text text-anchor="middle" x="1877.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: ^</text>
<polyline fill="none" stroke="black" points="1738.62,-507 2016.62,-507"/>
<text text-anchor="middle" x="1877.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000a90</text>
<polyline fill="none" stroke="black" points="1738.62,-478.75 2016.62,-478.75"/>
<text text-anchor="middle" x="1808.5" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000ac0</text>
<polyline fill="none" stroke="black" points="1878.38,-450.5 1878.38,-478.75"/>
<text text-anchor="middle" x="1947.5" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000af0</text>
</g>
<!-- 0x503000000a60&#45;&gt;0x503000000a90 -->
<g id="edge33" class="edge">
<title>0x503000000a60&#45;&gt;0x503000000a90</title>
<path fill="none" stroke="black" d="M2063.59,-600.05C2042.98,-589.85 2021.39,-579.16 2000.51,-568.83"/>
<polygon fill="black" stroke="black" points="2002.2,-565.76 1991.68,-564.46 1999.09,-572.03 2002.2,-565.76"/>
</g>
<!-- 0x503000000b20 -->
<g id="node37" class="node">
<title>0x503000000b20</title>
<path fill="crimson" stroke="black" d="M2046.62,-450.5C2046.62,-450.5 2306.62,-450.5 2306.62,-450.5 2312.62,-450.5 2318.62,-456.5 2318.62,-462.5 2318.62,-462.5 2318.62,-551.5 2318.62,-551.5 2318.62,-557.5 2312.62,-563.5 2306.62,-563.5 2306.62,-563.5 2046.62,-563.5 2046.62,-563.5 2040.62,-563.5 2034.62,-557.5 2034.62,-551.5 2034.62,-551.5 2034.62,-462.5 2034.62,-462.5 2034.62,-456.5 2040.62,-450.5 2046.62,-450.5"/>
<text text-anchor="middle" x="2176.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2034.62,-535.25 2318.62,-535.25"/>
<text text-anchor="middle" x="2176.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="2034.62,-507 2318.62,-507"/>
<text text-anchor="middle" x="2176.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000b20</text>
<polyline fill="none" stroke="black" points="2034.62,-478.75 2318.62,-478.75"/>
<text text-anchor="middle" x="2105.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000b50</text>
<polyline fill="none" stroke="black" points="2176.62,-450.5 2176.62,-478.75"/>
<text text-anchor="middle" x="2247.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000b80</text>
</g>
<!-- 0x503000000a60&#45;&gt;0x503000000b20 -->
<g id="edge36" class="edge">
<title>0x503000000a60&#45;&gt;0x503000000b20</title>
<path fill="none" stroke="black" d="M2176.62,-600.05C2176.62,-591.83 2176.62,-583.3 2176.62,-574.89"/>
<polygon fill="black" stroke="black" points="2180.13,-575.05 2176.63,-565.05 2173.13,-575.05 2180.13,-575.05"/>
</g>
<!-- 0x503000000ac0 -->
<g id="node35" class="node">
<title>0x503000000ac0</title>
<path fill="green" stroke="black" d="M1652,-300.5C1652,-300.5 1781.25,-300.5 1781.25,-300.5 1787.25,-300.5 1793.25,-306.5 1793.25,-312.5 1793.25,-312.5 1793.25,-401.5 1793.25,-401.5 1793.25,-407.5 1787.25,-413.5 1781.25,-413.5 1781.25,-413.5 1652,-413.5 1652,-413.5 1646,-413.5 1640,-407.5 1640,-401.5 1640,-401.5 1640,-312.5 1640,-312.5 1640,-306.5 1646,-300.5 1652,-300.5"/>
<text text-anchor="middle" x="1716.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="1640,-385.25 1793.25,-385.25"/>
<text text-anchor="middle" x="1716.62" y="-364.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="1640,-357 1793.25,-357"/>
<text text-anchor="middle" x="1716.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000ac0</text>
<polyline fill="none" stroke="black" points="1640,-328.75 1793.25,-328.75"/>
<text text-anchor="middle" x="1678" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1716,-300.5 1716,-328.75"/>
<text text-anchor="middle" x="1754.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000a90&#45;&gt;0x503000000ac0 -->
<g id="edge34" class="edge">
<title>0x503000000a90&#45;&gt;0x503000000ac0</title>
<path fill="none" stroke="black" d="M1816.76,-450.05C1806.57,-440.68 1795.93,-430.91 1785.56,-421.37"/>
<polygon fill="black" stroke="black" points="1788.16,-419 1778.43,-414.81 1783.42,-424.15 1788.16,-419"/>
</g>
<!-- 0x503000000af0 -->
<g id="node36" class="node">
<title>0x503000000af0</title>
<path fill="lightskyblue" stroke="black" d="M1823.5,-300.5C1823.5,-300.5 1937.75,-300.5 1937.75,-300.5 1943.75,-300.5 1949.75,-306.5 1949.75,-312.5 1949.75,-312.5 1949.75,-401.5 1949.75,-401.5 1949.75,-407.5 1943.75,-413.5 1937.75,-413.5 1937.75,-413.5 1823.5,-413.5 1823.5,-413.5 1817.5,-413.5 1811.5,-407.5 1811.5,-401.5 1811.5,-401.5 1811.5,-312.5 1811.5,-312.5 1811.5,-306.5 1817.5,-300.5 1823.5,-300.5"/>
<text text-anchor="middle" x="1880.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="1811.5,-385.25 1949.75,-385.25"/>
<text text-anchor="middle" x="1880.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 3.00</text>
<polyline fill="none" stroke="black" points="1811.5,-357 1949.75,-357"/>
<text text-anchor="middle" x="1880.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000af0</text>
<polyline fill="none" stroke="black" points="1811.5,-328.75 1949.75,-328.75"/>
<text text-anchor="middle" x="1846" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="1880.5,-300.5 1880.5,-328.75"/>
<text text-anchor="middle" x="1915" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000a90&#45;&gt;0x503000000af0 -->
<g id="edge35" class="edge">
<title>0x503000000a90&#45;&gt;0x503000000af0</title>
<path fill="none" stroke="black" d="M1878.76,-450.05C1878.93,-441.83 1879.1,-433.3 1879.27,-424.89"/>
<polygon fill="black" stroke="black" points="1882.77,-425.12 1879.47,-415.05 1875.77,-424.98 1882.77,-425.12"/>
</g>
<!-- 0x503000000b50 -->
<g id="node38" class="node">
<title>0x503000000b50</title>
<path fill="lightskyblue" stroke="black" d="M2021.62,-300.5C2021.62,-300.5 2139.62,-300.5 2139.62,-300.5 2145.62,-300.5 2151.62,-306.5 2151.62,-312.5 2151.62,-312.5 2151.62,-401.5 2151.62,-401.5 2151.62,-407.5 2145.62,-413.5 2139.62,-413.5 2139.62,-413.5 2021.62,-413.5 2021.62,-413.5 2015.62,-413.5 2009.62,-407.5 2009.62,-401.5 2009.62,-401.5 2009.62,-312.5 2009.62,-312.5 2009.62,-306.5 2015.62,-300.5 2021.62,-300.5"/>
<text text-anchor="middle" x="2080.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="2009.62,-385.25 2151.62,-385.25"/>
<text text-anchor="middle" x="2080.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="2009.62,-357 2151.62,-357"/>
<text text-anchor="middle" x="2080.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000b50</text>
<polyline fill="none" stroke="black" points="2009.62,-328.75 2151.62,-328.75"/>
<text text-anchor="middle" x="2045.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2080.62,-300.5 2080.62,-328.75"/>
<text text-anchor="middle" x="2116.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000b20&#45;&gt;0x503000000b50 -->
<g id="edge37" class="edge">
<title>0x503000000b20&#45;&gt;0x503000000b50</title>
<path fill="none" stroke="black" d="M2140.33,-450.05C2134.64,-441.27 2128.71,-432.13 2122.9,-423.17"/>
<polygon fill="black" stroke="black" points="2125.85,-421.3 2117.48,-414.81 2119.98,-425.1 2125.85,-421.3"/>
</g>
<!-- 0x503000000b80 -->
<g id="node39" class="node">
<title>0x503000000b80</title>
<path fill="green" stroke="black" d="M2182,-300.5C2182,-300.5 2311.25,-300.5 2311.25,-300.5 2317.25,-300.5 2323.25,-306.5 2323.25,-312.5 2323.25,-312.5 2323.25,-401.5 2323.25,-401.5 2323.25,-407.5 2317.25,-413.5 2311.25,-413.5 2311.25,-413.5 2182,-413.5 2182,-413.5 2176,-413.5 2170,-407.5 2170,-401.5 2170,-401.5 2170,-312.5 2170,-312.5 2170,-306.5 2176,-300.5 2182,-300.5"/>
<text text-anchor="middle" x="2246.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="2170,-385.25 2323.25,-385.25"/>
<text text-anchor="middle" x="2246.62" y="-364.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="2170,-357 2323.25,-357"/>
<text text-anchor="middle" x="2246.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000b80</text>
<polyline fill="none" stroke="black" points="2170,-328.75 2323.25,-328.75"/>
<text text-anchor="middle" x="2208" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2246,-300.5 2246,-328.75"/>
<text text-anchor="middle" x="2284.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000b20&#45;&gt;0x503000000b80 -->
<g id="edge38" class="edge">
<title>0x503000000b20&#45;&gt;0x503000000b80</title>
<path fill="none" stroke="black" d="M2203.09,-450.05C2207.15,-441.46 2211.38,-432.52 2215.53,-423.74"/>
<polygon fill="black" stroke="black" points="2218.6,-425.45 2219.71,-414.91 2212.27,-422.45 2218.6,-425.45"/>
</g>
<!-- 0x503000000d60 -->
<g id="node41" class="node">
<title>0x503000000d60</title>
<path fill="crimson" stroke="black" d="M2542.62,-600.5C2542.62,-600.5 2802.62,-600.5 2802.62,-600.5 2808.62,-600.5 2814.62,-606.5 2814.62,-612.5 2814.62,-612.5 2814.62,-701.5 2814.62,-701.5 2814.62,-707.5 2808.62,-713.5 2802.62,-713.5 2802.62,-713.5 2542.62,-713.5 2542.62,-713.5 2536.62,-713.5 2530.62,-707.5 2530.62,-701.5 2530.62,-701.5 2530.62,-612.5 2530.62,-612.5 2530.62,-606.5 2536.62,-600.5 2542.62,-600.5"/>
<text text-anchor="middle" x="2672.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2530.62,-685.25 2814.62,-685.25"/>
<text text-anchor="middle" x="2672.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="2530.62,-657 2814.62,-657"/>
<text text-anchor="middle" x="2672.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000d60</text>
<polyline fill="none" stroke="black" points="2530.62,-628.75 2814.62,-628.75"/>
<text text-anchor="middle" x="2601.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000d00</text>
<polyline fill="none" stroke="black" points="2672.62,-600.5 2672.62,-628.75"/>
<text text-anchor="middle" x="2743.62" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000d30</text>
</g>
<!-- 0x503000000ee0&#45;&gt;0x503000000d60 -->
<g id="edge40" class="edge">
<title>0x503000000ee0&#45;&gt;0x503000000d60</title>
<path fill="none" stroke="black" d="M2744.15,-750.05C2737.18,-741.08 2729.93,-731.74 2722.82,-722.6"/>
<polygon fill="black" stroke="black" points="2725.61,-720.48 2716.71,-714.74 2720.08,-724.78 2725.61,-720.48"/>
</g>
<!-- 0x503000000eb0 -->
<g id="node50" class="node">
<title>0x503000000eb0</title>
<path fill="crimson" stroke="black" d="M2845.12,-600.5C2845.12,-600.5 3102.12,-600.5 3102.12,-600.5 3108.12,-600.5 3114.12,-606.5 3114.12,-612.5 3114.12,-612.5 3114.12,-701.5 3114.12,-701.5 3114.12,-707.5 3108.12,-713.5 3102.12,-713.5 3102.12,-713.5 2845.12,-713.5 2845.12,-713.5 2839.12,-713.5 2833.12,-707.5 2833.12,-701.5 2833.12,-701.5 2833.12,-612.5 2833.12,-612.5 2833.12,-606.5 2839.12,-600.5 2845.12,-600.5"/>
<text text-anchor="middle" x="2973.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2833.12,-685.25 3114.12,-685.25"/>
<text text-anchor="middle" x="2973.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: +</text>
<polyline fill="none" stroke="black" points="2833.12,-657 3114.12,-657"/>
<text text-anchor="middle" x="2973.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000eb0</text>
<polyline fill="none" stroke="black" points="2833.12,-628.75 3114.12,-628.75"/>
<text text-anchor="middle" x="2903" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000df0</text>
<polyline fill="none" stroke="black" points="2972.88,-600.5 2972.88,-628.75"/>
<text text-anchor="middle" x="3043.5" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000e80</text>
</g>
<!-- 0x503000000ee0&#45;&gt;0x503000000eb0 -->
<g id="edge49" class="edge">
<title>0x503000000ee0&#45;&gt;0x503000000eb0</title>
<path fill="none" stroke="black" d="M2857.94,-750.05C2869.95,-740.5 2882.49,-730.52 2894.7,-720.8"/>
<polygon fill="black" stroke="black" points="2896.69,-723.69 2902.33,-714.73 2892.33,-718.22 2896.69,-723.69"/>
</g>
<!-- 0x503000000d00 -->
<g id="node42" class="node">
<title>0x503000000d00</title>
<path fill="crimson" stroke="black" d="M2348.75,-450.5C2348.75,-450.5 2606.5,-450.5 2606.5,-450.5 2612.5,-450.5 2618.5,-456.5 2618.5,-462.5 2618.5,-462.5 2618.5,-551.5 2618.5,-551.5 2618.5,-557.5 2612.5,-563.5 2606.5,-563.5 2606.5,-563.5 2348.75,-563.5 2348.75,-563.5 2342.75,-563.5 2336.75,-557.5 2336.75,-551.5 2336.75,-551.5 2336.75,-462.5 2336.75,-462.5 2336.75,-456.5 2342.75,-450.5 2348.75,-450.5"/>
<text text-anchor="middle" x="2477.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2336.75,-535.25 2618.5,-535.25"/>
<text text-anchor="middle" x="2477.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="2336.75,-507 2618.5,-507"/>
<text text-anchor="middle" x="2477.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000d00</text>
<polyline fill="none" stroke="black" points="2336.75,-478.75 2618.5,-478.75"/>
<text text-anchor="middle" x="2407.38" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000be0</text>
<polyline fill="none" stroke="black" points="2478,-450.5 2478,-478.75"/>
<text text-anchor="middle" x="2548.25" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000cd0</text>
</g>
<!-- 0x503000000d60&#45;&gt;0x503000000d00 -->
<g id="edge41" class="edge">
<title>0x503000000d60&#45;&gt;0x503000000d00</title>
<path fill="none" stroke="black" d="M2598.9,-600.05C2586.2,-590.4 2572.92,-580.32 2560,-570.52"/>
<polygon fill="black" stroke="black" points="2562.41,-567.96 2552.33,-564.7 2558.18,-573.53 2562.41,-567.96"/>
</g>
<!-- 0x503000000d30 -->
<g id="node49" class="node">
<title>0x503000000d30</title>
<path fill="lightskyblue" stroke="black" d="M2648.62,-450.5C2648.62,-450.5 2766.62,-450.5 2766.62,-450.5 2772.62,-450.5 2778.62,-456.5 2778.62,-462.5 2778.62,-462.5 2778.62,-551.5 2778.62,-551.5 2778.62,-557.5 2772.62,-563.5 2766.62,-563.5 2766.62,-563.5 2648.62,-563.5 2648.62,-563.5 2642.62,-563.5 2636.62,-557.5 2636.62,-551.5 2636.62,-551.5 2636.62,-462.5 2636.62,-462.5 2636.62,-456.5 2642.62,-450.5 2648.62,-450.5"/>
<text text-anchor="middle" x="2707.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="2636.62,-535.25 2778.62,-535.25"/>
<text text-anchor="middle" x="2707.62" y="-514.15" font-family="Times,serif" font-size="18.00">Num: 1.00</text>
<polyline fill="none" stroke="black" points="2636.62,-507 2778.62,-507"/>
<text text-anchor="middle" x="2707.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000d30</text>
<polyline fill="none" stroke="black" points="2636.62,-478.75 2778.62,-478.75"/>
<text text-anchor="middle" x="2672.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2707.62,-450.5 2707.62,-478.75"/>
<text text-anchor="middle" x="2743.12" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000d60&#45;&gt;0x503000000d30 -->
<g id="edge48" class="edge">
<title>0x503000000d60&#45;&gt;0x503000000d30</title>
<path fill="none" stroke="black" d="M2685.86,-600.05C2687.82,-591.74 2689.86,-583.1 2691.87,-574.6"/>
<polygon fill="black" stroke="black" points="2695.25,-575.55 2694.14,-565.01 2688.43,-573.94 2695.25,-575.55"/>
</g>
<!-- 0x503000000be0 -->
<g id="node43" class="node">
<title>0x503000000be0</title>
<path fill="lightskyblue" stroke="black" d="M2374,-300.5C2374,-300.5 2491.25,-300.5 2491.25,-300.5 2497.25,-300.5 2503.25,-306.5 2503.25,-312.5 2503.25,-312.5 2503.25,-401.5 2503.25,-401.5 2503.25,-407.5 2497.25,-413.5 2491.25,-413.5 2491.25,-413.5 2374,-413.5 2374,-413.5 2368,-413.5 2362,-407.5 2362,-401.5 2362,-401.5 2362,-312.5 2362,-312.5 2362,-306.5 2368,-300.5 2374,-300.5"/>
<text text-anchor="middle" x="2432.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="2362,-385.25 2503.25,-385.25"/>
<text text-anchor="middle" x="2432.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 3.00</text>
<polyline fill="none" stroke="black" points="2362,-357 2503.25,-357"/>
<text text-anchor="middle" x="2432.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000be0</text>
<polyline fill="none" stroke="black" points="2362,-328.75 2503.25,-328.75"/>
<text text-anchor="middle" x="2397" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2432,-300.5 2432,-328.75"/>
<text text-anchor="middle" x="2467.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000d00&#45;&gt;0x503000000be0 -->
<g id="edge42" class="edge">
<title>0x503000000d00&#45;&gt;0x503000000be0</title>
<path fill="none" stroke="black" d="M2460.61,-450.05C2458.06,-441.64 2455.4,-432.91 2452.79,-424.32"/>
<polygon fill="black" stroke="black" points="2456.21,-423.54 2449.95,-414.99 2449.51,-425.57 2456.21,-423.54"/>
</g>
<!-- 0x503000000cd0 -->
<g id="node44" class="node">
<title>0x503000000cd0</title>
<path fill="crimson" stroke="black" d="M2533.5,-300.5C2533.5,-300.5 2789.75,-300.5 2789.75,-300.5 2795.75,-300.5 2801.75,-306.5 2801.75,-312.5 2801.75,-312.5 2801.75,-401.5 2801.75,-401.5 2801.75,-407.5 2795.75,-413.5 2789.75,-413.5 2789.75,-413.5 2533.5,-413.5 2533.5,-413.5 2527.5,-413.5 2521.5,-407.5 2521.5,-401.5 2521.5,-401.5 2521.5,-312.5 2521.5,-312.5 2521.5,-306.5 2527.5,-300.5 2533.5,-300.5"/>
<text text-anchor="middle" x="2661.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2521.5,-385.25 2801.75,-385.25"/>
<text text-anchor="middle" x="2661.62" y="-364.15" font-family="Times,serif" font-size="18.00">TypeOperation: ^</text>
<polyline fill="none" stroke="black" points="2521.5,-357 2801.75,-357"/>
<text text-anchor="middle" x="2661.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000cd0</text>
<polyline fill="none" stroke="black" points="2521.5,-328.75 2801.75,-328.75"/>
<text text-anchor="middle" x="2592.12" y="-307.65" font-family="Times,serif" font-size="18.00">0x503000000c10</text>
<polyline fill="none" stroke="black" points="2662.75,-300.5 2662.75,-328.75"/>
<text text-anchor="middle" x="2732.25" y="-307.65" font-family="Times,serif" font-size="18.00">0x503000000ca0</text>
</g>
<!-- 0x503000000d00&#45;&gt;0x503000000cd0 -->
<g id="edge43" class="edge">
<title>0x503000000d00&#45;&gt;0x503000000cd0</title>
<path fill="none" stroke="black" d="M2547.19,-450.05C2559.06,-440.5 2571.47,-430.52 2583.55,-420.8"/>
<polygon fill="black" stroke="black" points="2585.49,-423.73 2591.09,-414.73 2581.1,-418.28 2585.49,-423.73"/>
</g>
<!-- 0x503000000c10 -->
<g id="node45" class="node">
<title>0x503000000c10</title>
<path fill="green" stroke="black" d="M2479,-150.5C2479,-150.5 2608.25,-150.5 2608.25,-150.5 2614.25,-150.5 2620.25,-156.5 2620.25,-162.5 2620.25,-162.5 2620.25,-251.5 2620.25,-251.5 2620.25,-257.5 2614.25,-263.5 2608.25,-263.5 2608.25,-263.5 2479,-263.5 2479,-263.5 2473,-263.5 2467,-257.5 2467,-251.5 2467,-251.5 2467,-162.5 2467,-162.5 2467,-156.5 2473,-150.5 2479,-150.5"/>
<text text-anchor="middle" x="2543.62" y="-242.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="2467,-235.25 2620.25,-235.25"/>
<text text-anchor="middle" x="2543.62" y="-214.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="2467,-207 2620.25,-207"/>
<text text-anchor="middle" x="2543.62" y="-185.9" font-family="Times,serif" font-size="18.00">0x503000000c10</text>
<polyline fill="none" stroke="black" points="2467,-178.75 2620.25,-178.75"/>
<text text-anchor="middle" x="2505" y="-157.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2543,-150.5 2543,-178.75"/>
<text text-anchor="middle" x="2581.5" y="-157.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000cd0&#45;&gt;0x503000000c10 -->
<g id="edge44" class="edge">
<title>0x503000000cd0&#45;&gt;0x503000000c10</title>
<path fill="none" stroke="black" d="M2617.01,-300.05C2609.79,-290.99 2602.27,-281.55 2594.9,-272.31"/>
<polygon fill="black" stroke="black" points="2597.82,-270.36 2588.85,-264.72 2592.35,-274.73 2597.82,-270.36"/>
</g>
<!-- 0x503000000ca0 -->
<g id="node46" class="node">
<title>0x503000000ca0</title>
<path fill="crimson" stroke="black" d="M2650.38,-150.5C2650.38,-150.5 2908.88,-150.5 2908.88,-150.5 2914.88,-150.5 2920.88,-156.5 2920.88,-162.5 2920.88,-162.5 2920.88,-251.5 2920.88,-251.5 2920.88,-257.5 2914.88,-263.5 2908.88,-263.5 2908.88,-263.5 2650.38,-263.5 2650.38,-263.5 2644.38,-263.5 2638.38,-257.5 2638.38,-251.5 2638.38,-251.5 2638.38,-162.5 2638.38,-162.5 2638.38,-156.5 2644.38,-150.5 2650.38,-150.5"/>
<text text-anchor="middle" x="2779.62" y="-242.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2638.38,-235.25 2920.88,-235.25"/>
<text text-anchor="middle" x="2779.62" y="-214.15" font-family="Times,serif" font-size="18.00">TypeOperation: &#45;</text>
<polyline fill="none" stroke="black" points="2638.38,-207 2920.88,-207"/>
<text text-anchor="middle" x="2779.62" y="-185.9" font-family="Times,serif" font-size="18.00">0x503000000ca0</text>
<polyline fill="none" stroke="black" points="2638.38,-178.75 2920.88,-178.75"/>
<text text-anchor="middle" x="2709" y="-157.65" font-family="Times,serif" font-size="18.00">0x503000000c40</text>
<polyline fill="none" stroke="black" points="2779.62,-150.5 2779.62,-178.75"/>
<text text-anchor="middle" x="2850.25" y="-157.65" font-family="Times,serif" font-size="18.00">0x503000000c70</text>
</g>
<!-- 0x503000000cd0&#45;&gt;0x503000000ca0 -->
<g id="edge45" class="edge">
<title>0x503000000cd0&#45;&gt;0x503000000ca0</title>
<path fill="none" stroke="black" d="M2706.24,-300.05C2713.46,-290.99 2720.98,-281.55 2728.35,-272.31"/>
<polygon fill="black" stroke="black" points="2730.9,-274.73 2734.4,-264.72 2725.43,-270.36 2730.9,-274.73"/>
</g>
<!-- 0x503000000c40 -->
<g id="node47" class="node">
<title>0x503000000c40</title>
<path fill="lightskyblue" stroke="black" d="M2642,-0.5C2642,-0.5 2759.25,-0.5 2759.25,-0.5 2765.25,-0.5 2771.25,-6.5 2771.25,-12.5 2771.25,-12.5 2771.25,-101.5 2771.25,-101.5 2771.25,-107.5 2765.25,-113.5 2759.25,-113.5 2759.25,-113.5 2642,-113.5 2642,-113.5 2636,-113.5 2630,-107.5 2630,-101.5 2630,-101.5 2630,-12.5 2630,-12.5 2630,-6.5 2636,-0.5 2642,-0.5"/>
<text text-anchor="middle" x="2700.62" y="-92.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="2630,-85.25 2771.25,-85.25"/>
<text text-anchor="middle" x="2700.62" y="-64.15" font-family="Times,serif" font-size="18.00">Num: 3.00</text>
<polyline fill="none" stroke="black" points="2630,-57 2771.25,-57"/>
<text text-anchor="middle" x="2700.62" y="-35.9" font-family="Times,serif" font-size="18.00">0x503000000c40</text>
<polyline fill="none" stroke="black" points="2630,-28.75 2771.25,-28.75"/>
<text text-anchor="middle" x="2665" y="-7.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2700,-0.5 2700,-28.75"/>
<text text-anchor="middle" x="2735.5" y="-7.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000ca0&#45;&gt;0x503000000c40 -->
<g id="edge46" class="edge">
<title>0x503000000ca0&#45;&gt;0x503000000c40</title>
<path fill="none" stroke="black" d="M2749.76,-150.05C2745.12,-141.36 2740.3,-132.33 2735.57,-123.46"/>
<polygon fill="black" stroke="black" points="2738.78,-122.05 2730.98,-114.88 2732.61,-125.35 2738.78,-122.05"/>
</g>
<!-- 0x503000000c70 -->
<g id="node48" class="node">
<title>0x503000000c70</title>
<path fill="lightskyblue" stroke="black" d="M2801,-0.5C2801,-0.5 2918.25,-0.5 2918.25,-0.5 2924.25,-0.5 2930.25,-6.5 2930.25,-12.5 2930.25,-12.5 2930.25,-101.5 2930.25,-101.5 2930.25,-107.5 2924.25,-113.5 2918.25,-113.5 2918.25,-113.5 2801,-113.5 2801,-113.5 2795,-113.5 2789,-107.5 2789,-101.5 2789,-101.5 2789,-12.5 2789,-12.5 2789,-6.5 2795,-0.5 2801,-0.5"/>
<text text-anchor="middle" x="2859.62" y="-92.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="2789,-85.25 2930.25,-85.25"/>
<text text-anchor="middle" x="2859.62" y="-64.15" font-family="Times,serif" font-size="18.00">Num: 1.00</text>
<polyline fill="none" stroke="black" points="2789,-57 2930.25,-57"/>
<text text-anchor="middle" x="2859.62" y="-35.9" font-family="Times,serif" font-size="18.00">0x503000000c70</text>
<polyline fill="none" stroke="black" points="2789,-28.75 2930.25,-28.75"/>
<text text-anchor="middle" x="2824" y="-7.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2859,-0.5 2859,-28.75"/>
<text text-anchor="middle" x="2894.5" y="-7.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000ca0&#45;&gt;0x503000000c70 -->
<g id="edge47" class="edge">
<title>0x503000000ca0&#45;&gt;0x503000000c70</title>
<path fill="none" stroke="black" d="M2809.87,-150.05C2814.56,-141.36 2819.45,-132.33 2824.24,-123.46"/>
<polygon fill="black" stroke="black" points="2827.21,-125.33 2828.88,-114.87 2821.05,-122 2827.21,-125.33"/>
</g>
<!-- 0x503000000df0 -->
<g id="node51" class="node">
<title>0x503000000df0</title>
<path fill="crimson" stroke="black" d="M2809,-450.5C2809,-450.5 3068.25,-450.5 3068.25,-450.5 3074.25,-450.5 3080.25,-456.5 3080.25,-462.5 3080.25,-462.5 3080.25,-551.5 3080.25,-551.5 3080.25,-557.5 3074.25,-563.5 3068.25,-563.5 3068.25,-563.5 2809,-563.5 2809,-563.5 2803,-563.5 2797,-557.5 2797,-551.5 2797,-551.5 2797,-462.5 2797,-462.5 2797,-456.5 2803,-450.5 2809,-450.5"/>
<text text-anchor="middle" x="2938.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="2797,-535.25 3080.25,-535.25"/>
<text text-anchor="middle" x="2938.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="2797,-507 3080.25,-507"/>
<text text-anchor="middle" x="2938.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000df0</text>
<polyline fill="none" stroke="black" points="2797,-478.75 3080.25,-478.75"/>
<text text-anchor="middle" x="2868" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000d90</text>
<polyline fill="none" stroke="black" points="2939,-450.5 2939,-478.75"/>
<text text-anchor="middle" x="3009.62" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000dc0</text>
</g>
<!-- 0x503000000eb0&#45;&gt;0x503000000df0 -->
<g id="edge50" class="edge">
<title>0x503000000eb0&#45;&gt;0x503000000df0</title>
<path fill="none" stroke="black" d="M2960.39,-600.05C2958.43,-591.74 2956.39,-583.1 2954.38,-574.6"/>
<polygon fill="black" stroke="black" points="2957.82,-573.94 2952.11,-565.01 2951,-575.55 2957.82,-573.94"/>
</g>
<!-- 0x503000000e80 -->
<g id="node54" class="node">
<title>0x503000000e80</title>
<path fill="crimson" stroke="black" d="M3110.38,-450.5C3110.38,-450.5 3368.88,-450.5 3368.88,-450.5 3374.88,-450.5 3380.88,-456.5 3380.88,-462.5 3380.88,-462.5 3380.88,-551.5 3380.88,-551.5 3380.88,-557.5 3374.88,-563.5 3368.88,-563.5 3368.88,-563.5 3110.38,-563.5 3110.38,-563.5 3104.38,-563.5 3098.38,-557.5 3098.38,-551.5 3098.38,-551.5 3098.38,-462.5 3098.38,-462.5 3098.38,-456.5 3104.38,-450.5 3110.38,-450.5"/>
<text text-anchor="middle" x="3239.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3098.38,-535.25 3380.88,-535.25"/>
<text text-anchor="middle" x="3239.62" y="-514.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="3098.38,-507 3380.88,-507"/>
<text text-anchor="middle" x="3239.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000e80</text>
<polyline fill="none" stroke="black" points="3098.38,-478.75 3380.88,-478.75"/>
<text text-anchor="middle" x="3169" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000e20</text>
<polyline fill="none" stroke="black" points="3239.62,-450.5 3239.62,-478.75"/>
<text text-anchor="middle" x="3310.25" y="-457.65" font-family="Times,serif" font-size="18.00">0x503000000e50</text>
</g>
<!-- 0x503000000eb0&#45;&gt;0x503000000e80 -->
<g id="edge53" class="edge">
<title>0x503000000eb0&#45;&gt;0x503000000e80</title>
<path fill="none" stroke="black" d="M3074.19,-600.05C3092.27,-589.99 3111.21,-579.45 3129.54,-569.25"/>
<polygon fill="black" stroke="black" points="3131,-572.44 3138.04,-564.52 3127.6,-566.33 3131,-572.44"/>
</g>
<!-- 0x503000000d90 -->
<g id="node52" class="node">
<title>0x503000000d90</title>
<path fill="lightskyblue" stroke="black" d="M2841.62,-300.5C2841.62,-300.5 2959.62,-300.5 2959.62,-300.5 2965.62,-300.5 2971.62,-306.5 2971.62,-312.5 2971.62,-312.5 2971.62,-401.5 2971.62,-401.5 2971.62,-407.5 2965.62,-413.5 2959.62,-413.5 2959.62,-413.5 2841.62,-413.5 2841.62,-413.5 2835.62,-413.5 2829.62,-407.5 2829.62,-401.5 2829.62,-401.5 2829.62,-312.5 2829.62,-312.5 2829.62,-306.5 2835.62,-300.5 2841.62,-300.5"/>
<text text-anchor="middle" x="2900.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="2829.62,-385.25 2971.62,-385.25"/>
<text text-anchor="middle" x="2900.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 0.00</text>
<polyline fill="none" stroke="black" points="2829.62,-357 2971.62,-357"/>
<text text-anchor="middle" x="2900.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000d90</text>
<polyline fill="none" stroke="black" points="2829.62,-328.75 2971.62,-328.75"/>
<text text-anchor="middle" x="2865.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="2900.62,-300.5 2900.62,-328.75"/>
<text text-anchor="middle" x="2936.12" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000df0&#45;&gt;0x503000000d90 -->
<g id="edge51" class="edge">
<title>0x503000000df0&#45;&gt;0x503000000d90</title>
<path fill="none" stroke="black" d="M2924.26,-450.05C2922.13,-441.74 2919.91,-433.1 2917.73,-424.6"/>
<polygon fill="black" stroke="black" points="2921.14,-423.82 2915.26,-415.01 2914.36,-425.56 2921.14,-423.82"/>
</g>
<!-- 0x503000000dc0 -->
<g id="node53" class="node">
<title>0x503000000dc0</title>
<path fill="green" stroke="black" d="M3002,-300.5C3002,-300.5 3131.25,-300.5 3131.25,-300.5 3137.25,-300.5 3143.25,-306.5 3143.25,-312.5 3143.25,-312.5 3143.25,-401.5 3143.25,-401.5 3143.25,-407.5 3137.25,-413.5 3131.25,-413.5 3131.25,-413.5 3002,-413.5 3002,-413.5 2996,-413.5 2990,-407.5 2990,-401.5 2990,-401.5 2990,-312.5 2990,-312.5 2990,-306.5 2996,-300.5 3002,-300.5"/>
<text text-anchor="middle" x="3066.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="2990,-385.25 3143.25,-385.25"/>
<text text-anchor="middle" x="3066.62" y="-364.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="2990,-357 3143.25,-357"/>
<text text-anchor="middle" x="3066.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000dc0</text>
<polyline fill="none" stroke="black" points="2990,-328.75 3143.25,-328.75"/>
<text text-anchor="middle" x="3028" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3066,-300.5 3066,-328.75"/>
<text text-anchor="middle" x="3104.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000df0&#45;&gt;0x503000000dc0 -->
<g id="edge52" class="edge">
<title>0x503000000df0&#45;&gt;0x503000000dc0</title>
<path fill="none" stroke="black" d="M2987.02,-450.05C2994.93,-440.9 3003.18,-431.36 3011.25,-422.03"/>
<polygon fill="black" stroke="black" points="3013.71,-424.54 3017.6,-414.69 3008.41,-419.96 3013.71,-424.54"/>
</g>
<!-- 0x503000000e20 -->
<g id="node55" class="node">
<title>0x503000000e20</title>
<path fill="lightskyblue" stroke="black" d="M3178,-300.5C3178,-300.5 3295.25,-300.5 3295.25,-300.5 3301.25,-300.5 3307.25,-306.5 3307.25,-312.5 3307.25,-312.5 3307.25,-401.5 3307.25,-401.5 3307.25,-407.5 3301.25,-413.5 3295.25,-413.5 3295.25,-413.5 3178,-413.5 3178,-413.5 3172,-413.5 3166,-407.5 3166,-401.5 3166,-401.5 3166,-312.5 3166,-312.5 3166,-306.5 3172,-300.5 3178,-300.5"/>
<text text-anchor="middle" x="3236.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="3166,-385.25 3307.25,-385.25"/>
<text text-anchor="middle" x="3236.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="3166,-357 3307.25,-357"/>
<text text-anchor="middle" x="3236.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000e20</text>
<polyline fill="none" stroke="black" points="3166,-328.75 3307.25,-328.75"/>
<text text-anchor="middle" x="3201" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3236,-300.5 3236,-328.75"/>
<text text-anchor="middle" x="3271.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000e80&#45;&gt;0x503000000e20 -->
<g id="edge54" class="edge">
<title>0x503000000e80&#45;&gt;0x503000000e20</title>
<path fill="none" stroke="black" d="M3238.49,-450.05C3238.32,-441.83 3238.15,-433.3 3237.98,-424.89"/>
<polygon fill="black" stroke="black" points="3241.48,-424.98 3237.78,-415.05 3234.48,-425.12 3241.48,-424.98"/>
</g>
<!-- 0x503000000e50 -->
<g id="node56" class="node">
<title>0x503000000e50</title>
<path fill="lightskyblue" stroke="black" d="M3337,-300.5C3337,-300.5 3454.25,-300.5 3454.25,-300.5 3460.25,-300.5 3466.25,-306.5 3466.25,-312.5 3466.25,-312.5 3466.25,-401.5 3466.25,-401.5 3466.25,-407.5 3460.25,-413.5 3454.25,-413.5 3454.25,-413.5 3337,-413.5 3337,-413.5 3331,-413.5 3325,-407.5 3325,-401.5 3325,-401.5 3325,-312.5 3325,-312.5 3325,-306.5 3331,-300.5 3337,-300.5"/>
<text text-anchor="middle" x="3395.62" y="-392.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="3325,-385.25 3466.25,-385.25"/>
<text text-anchor="middle" x="3395.62" y="-364.15" font-family="Times,serif" font-size="18.00">Num: 1.00</text>
<polyline fill="none" stroke="black" points="3325,-357 3466.25,-357"/>
<text text-anchor="middle" x="3395.62" y="-335.9" font-family="Times,serif" font-size="18.00">0x503000000e50</text>
<polyline fill="none" stroke="black" points="3325,-328.75 3466.25,-328.75"/>
<text text-anchor="middle" x="3360" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3395,-300.5 3395,-328.75"/>
<text text-anchor="middle" x="3430.5" y="-307.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000e80&#45;&gt;0x503000000e50 -->
<g id="edge55" class="edge">
<title>0x503000000e80&#45;&gt;0x503000000e50</title>
<path fill="none" stroke="black" d="M3298.6,-450.05C3308.38,-440.77 3318.57,-431.1 3328.53,-421.65"/>
<polygon fill="black" stroke="black" points="3330.88,-424.25 3335.73,-414.83 3326.06,-419.17 3330.88,-424.25"/>
</g>
<!-- 0x503000000f40 -->
<g id="node58" class="node">
<title>0x503000000f40</title>
<path fill="crimson" stroke="black" d="M3256.75,-750.5C3256.75,-750.5 3514.5,-750.5 3514.5,-750.5 3520.5,-750.5 3526.5,-756.5 3526.5,-762.5 3526.5,-762.5 3526.5,-851.5 3526.5,-851.5 3526.5,-857.5 3520.5,-863.5 3514.5,-863.5 3514.5,-863.5 3256.75,-863.5 3256.75,-863.5 3250.75,-863.5 3244.75,-857.5 3244.75,-851.5 3244.75,-851.5 3244.75,-762.5 3244.75,-762.5 3244.75,-756.5 3250.75,-750.5 3256.75,-750.5"/>
<text text-anchor="middle" x="3385.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3244.75,-835.25 3526.5,-835.25"/>
<text text-anchor="middle" x="3385.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: +</text>
<polyline fill="none" stroke="black" points="3244.75,-807 3526.5,-807"/>
<text text-anchor="middle" x="3385.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000000f40</text>
<polyline fill="none" stroke="black" points="3244.75,-778.75 3526.5,-778.75"/>
<text text-anchor="middle" x="3314.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000000f70</text>
<polyline fill="none" stroke="black" points="3384.5,-750.5 3384.5,-778.75"/>
<text text-anchor="middle" x="3455.5" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000001000</text>
</g>
<!-- 0x503000001030&#45;&gt;0x503000000f40 -->
<g id="edge57" class="edge">
<title>0x503000001030&#45;&gt;0x503000000f40</title>
<path fill="none" stroke="black" d="M3278.65,-900.05C3289.64,-890.59 3301.12,-880.71 3312.31,-871.09"/>
<polygon fill="black" stroke="black" points="3314.35,-873.95 3319.65,-864.77 3309.78,-868.64 3314.35,-873.95"/>
</g>
<!-- 0x503000000f70 -->
<g id="node59" class="node">
<title>0x503000000f70</title>
<path fill="crimson" stroke="black" d="M3259.75,-600.5C3259.75,-600.5 3511.5,-600.5 3511.5,-600.5 3517.5,-600.5 3523.5,-606.5 3523.5,-612.5 3523.5,-612.5 3523.5,-701.5 3523.5,-701.5 3523.5,-707.5 3517.5,-713.5 3511.5,-713.5 3511.5,-713.5 3259.75,-713.5 3259.75,-713.5 3253.75,-713.5 3247.75,-707.5 3247.75,-701.5 3247.75,-701.5 3247.75,-612.5 3247.75,-612.5 3247.75,-606.5 3253.75,-600.5 3259.75,-600.5"/>
<text text-anchor="middle" x="3385.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3247.75,-685.25 3523.5,-685.25"/>
<text text-anchor="middle" x="3385.62" y="-664.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="3247.75,-657 3523.5,-657"/>
<text text-anchor="middle" x="3385.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000000f70</text>
<polyline fill="none" stroke="black" points="3247.75,-628.75 3523.5,-628.75"/>
<text text-anchor="middle" x="3316.12" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000fa0</text>
<polyline fill="none" stroke="black" points="3384.5,-600.5 3384.5,-628.75"/>
<text text-anchor="middle" x="3454" y="-607.65" font-family="Times,serif" font-size="18.00">0x503000000fd0</text>
</g>
<!-- 0x503000000f40&#45;&gt;0x503000000f70 -->
<g id="edge58" class="edge">
<title>0x503000000f40&#45;&gt;0x503000000f70</title>
<path fill="none" stroke="black" d="M3385.62,-750.05C3385.62,-741.83 3385.62,-733.3 3385.62,-724.89"/>
<polygon fill="black" stroke="black" points="3389.13,-725.05 3385.63,-715.05 3382.13,-725.05 3389.13,-725.05"/>
</g>
<!-- 0x503000001000 -->
<g id="node62" class="node">
<title>0x503000001000</title>
<path fill="lightskyblue" stroke="black" d="M3553.62,-600.5C3553.62,-600.5 3671.62,-600.5 3671.62,-600.5 3677.62,-600.5 3683.62,-606.5 3683.62,-612.5 3683.62,-612.5 3683.62,-701.5 3683.62,-701.5 3683.62,-707.5 3677.62,-713.5 3671.62,-713.5 3671.62,-713.5 3553.62,-713.5 3553.62,-713.5 3547.62,-713.5 3541.62,-707.5 3541.62,-701.5 3541.62,-701.5 3541.62,-612.5 3541.62,-612.5 3541.62,-606.5 3547.62,-600.5 3553.62,-600.5"/>
<text text-anchor="middle" x="3612.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="3541.62,-685.25 3683.62,-685.25"/>
<text text-anchor="middle" x="3612.62" y="-664.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="3541.62,-657 3683.62,-657"/>
<text text-anchor="middle" x="3612.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000001000</text>
<polyline fill="none" stroke="black" points="3541.62,-628.75 3683.62,-628.75"/>
<text text-anchor="middle" x="3577.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3612.62,-600.5 3612.62,-628.75"/>
<text text-anchor="middle" x="3648.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000f40&#45;&gt;0x503000001000 -->
<g id="edge61" class="edge">
<title>0x503000000f40&#45;&gt;0x503000001000</title>
<path fill="none" stroke="black" d="M3476.66,-750.04C3493.03,-739.73 3509.99,-728.88 3531.88,-714.44"/>
<polygon fill="black" stroke="black" points="3533.55,-717.53 3539.96,-709.09 3529.69,-711.69 3533.55,-717.53"/>
</g>
<!-- 0x503000000fa0 -->
<g id="node60" class="node">
<title>0x503000000fa0</title>
<path fill="lightskyblue" stroke="black" d="M3411.25,-450.5C3411.25,-450.5 3524,-450.5 3524,-450.5 3530,-450.5 3536,-456.5 3536,-462.5 3536,-462.5 3536,-551.5 3536,-551.5 3536,-557.5 3530,-563.5 3524,-563.5 3524,-563.5 3411.25,-563.5 3411.25,-563.5 3405.25,-563.5 3399.25,-557.5 3399.25,-551.5 3399.25,-551.5 3399.25,-462.5 3399.25,-462.5 3399.25,-456.5 3405.25,-450.5 3411.25,-450.5"/>
<text text-anchor="middle" x="3467.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="3399.25,-535.25 3536,-535.25"/>
<text text-anchor="middle" x="3467.62" y="-514.15" font-family="Times,serif" font-size="18.00">Num: 5.00</text>
<polyline fill="none" stroke="black" points="3399.25,-507 3536,-507"/>
<text text-anchor="middle" x="3467.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000fa0</text>
<polyline fill="none" stroke="black" points="3399.25,-478.75 3536,-478.75"/>
<text text-anchor="middle" x="3433.25" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3467.25,-450.5 3467.25,-478.75"/>
<text text-anchor="middle" x="3501.25" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000f70&#45;&gt;0x503000000fa0 -->
<g id="edge59" class="edge">
<title>0x503000000f70&#45;&gt;0x503000000fa0</title>
<path fill="none" stroke="black" d="M3416.63,-600.05C3421.44,-591.36 3426.44,-582.33 3431.36,-573.46"/>
<polygon fill="black" stroke="black" points="3434.33,-575.31 3436.12,-564.86 3428.21,-571.92 3434.33,-575.31"/>
</g>
<!-- 0x503000000fd0 -->
<g id="node61" class="node">
<title>0x503000000fd0</title>
<path fill="green" stroke="black" d="M3566,-450.5C3566,-450.5 3695.25,-450.5 3695.25,-450.5 3701.25,-450.5 3707.25,-456.5 3707.25,-462.5 3707.25,-462.5 3707.25,-551.5 3707.25,-551.5 3707.25,-557.5 3701.25,-563.5 3695.25,-563.5 3695.25,-563.5 3566,-563.5 3566,-563.5 3560,-563.5 3554,-557.5 3554,-551.5 3554,-551.5 3554,-462.5 3554,-462.5 3554,-456.5 3560,-450.5 3566,-450.5"/>
<text text-anchor="middle" x="3630.62" y="-542.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="3554,-535.25 3707.25,-535.25"/>
<text text-anchor="middle" x="3630.62" y="-514.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="3554,-507 3707.25,-507"/>
<text text-anchor="middle" x="3630.62" y="-485.9" font-family="Times,serif" font-size="18.00">0x503000000fd0</text>
<polyline fill="none" stroke="black" points="3554,-478.75 3707.25,-478.75"/>
<text text-anchor="middle" x="3592" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3630,-450.5 3630,-478.75"/>
<text text-anchor="middle" x="3668.5" y="-457.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000000f70&#45;&gt;0x503000000fd0 -->
<g id="edge60" class="edge">
<title>0x503000000f70&#45;&gt;0x503000000fd0</title>
<path fill="none" stroke="black" d="M3484.07,-600.12C3501.85,-589.76 3520.29,-578.84 3544.09,-564.27"/>
<polygon fill="black" stroke="black" points="3545.88,-567.28 3552.57,-559.06 3542.22,-561.32 3545.88,-567.28"/>
</g>
<!-- 0x503000001210 -->
<g id="node64" class="node">
<title>0x503000001210</title>
<path fill="orange" stroke="black" d="M3581,-1050.5C3581,-1050.5 3744.25,-1050.5 3744.25,-1050.5 3750.25,-1050.5 3756.25,-1056.5 3756.25,-1062.5 3756.25,-1062.5 3756.25,-1151.5 3756.25,-1151.5 3756.25,-1157.5 3750.25,-1163.5 3744.25,-1163.5 3744.25,-1163.5 3581,-1163.5 3581,-1163.5 3575,-1163.5 3569,-1157.5 3569,-1151.5 3569,-1151.5 3569,-1062.5 3569,-1062.5 3569,-1056.5 3575,-1050.5 3581,-1050.5"/>
<text text-anchor="middle" x="3662.62" y="-1142.4" font-family="Times,serif" font-size="18.00">Nodetype: Function</text>
<polyline fill="none" stroke="black" points="3569,-1135.25 3756.25,-1135.25"/>
<text text-anchor="middle" x="3662.62" y="-1114.15" font-family="Times,serif" font-size="18.00">TypeFunction: ln</text>
<polyline fill="none" stroke="black" points="3569,-1107 3756.25,-1107"/>
<text text-anchor="middle" x="3662.62" y="-1085.9" font-family="Times,serif" font-size="18.00">0x503000001210</text>
<polyline fill="none" stroke="black" points="3569,-1078.75 3756.25,-1078.75"/>
<text text-anchor="middle" x="3639.62" y="-1057.65" font-family="Times,serif" font-size="18.00">0x5030000010c0</text>
<polyline fill="none" stroke="black" points="3710.25,-1050.5 3710.25,-1078.75"/>
<text text-anchor="middle" x="3733.25" y="-1057.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000001270&#45;&gt;0x503000001210 -->
<g id="edge63" class="edge">
<title>0x503000001270&#45;&gt;0x503000001210</title>
<path fill="none" stroke="black" d="M3662.62,-1200.05C3662.62,-1191.83 3662.62,-1183.3 3662.62,-1174.89"/>
<polygon fill="black" stroke="black" points="3666.13,-1175.05 3662.63,-1165.05 3659.13,-1175.05 3666.13,-1175.05"/>
</g>
<!-- 0x503000001240 -->
<g id="node72" class="node">
<title>0x503000001240</title>
<path fill="lightskyblue" stroke="black" d="M3786.62,-1050.5C3786.62,-1050.5 3904.62,-1050.5 3904.62,-1050.5 3910.62,-1050.5 3916.62,-1056.5 3916.62,-1062.5 3916.62,-1062.5 3916.62,-1151.5 3916.62,-1151.5 3916.62,-1157.5 3910.62,-1163.5 3904.62,-1163.5 3904.62,-1163.5 3786.62,-1163.5 3786.62,-1163.5 3780.62,-1163.5 3774.62,-1157.5 3774.62,-1151.5 3774.62,-1151.5 3774.62,-1062.5 3774.62,-1062.5 3774.62,-1056.5 3780.62,-1050.5 3786.62,-1050.5"/>
<text text-anchor="middle" x="3845.62" y="-1142.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="3774.62,-1135.25 3916.62,-1135.25"/>
<text text-anchor="middle" x="3845.62" y="-1114.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="3774.62,-1107 3916.62,-1107"/>
<text text-anchor="middle" x="3845.62" y="-1085.9" font-family="Times,serif" font-size="18.00">0x503000001240</text>
<polyline fill="none" stroke="black" points="3774.62,-1078.75 3916.62,-1078.75"/>
<text text-anchor="middle" x="3810.12" y="-1057.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3845.62,-1050.5 3845.62,-1078.75"/>
<text text-anchor="middle" x="3881.12" y="-1057.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000001270&#45;&gt;0x503000001240 -->
<g id="edge71" class="edge">
<title>0x503000001270&#45;&gt;0x503000001240</title>
<path fill="none" stroke="black" d="M3731.81,-1200.05C3743.62,-1190.5 3755.96,-1180.52 3767.97,-1170.8"/>
<polygon fill="black" stroke="black" points="3769.89,-1173.75 3775.47,-1164.74 3765.49,-1168.3 3769.89,-1173.75"/>
</g>
<!-- 0x5030000010c0 -->
<g id="node65" class="node">
<title>0x5030000010c0</title>
<path fill="crimson" stroke="black" d="M3661.75,-900.5C3661.75,-900.5 3919.5,-900.5 3919.5,-900.5 3925.5,-900.5 3931.5,-906.5 3931.5,-912.5 3931.5,-912.5 3931.5,-1001.5 3931.5,-1001.5 3931.5,-1007.5 3925.5,-1013.5 3919.5,-1013.5 3919.5,-1013.5 3661.75,-1013.5 3661.75,-1013.5 3655.75,-1013.5 3649.75,-1007.5 3649.75,-1001.5 3649.75,-1001.5 3649.75,-912.5 3649.75,-912.5 3649.75,-906.5 3655.75,-900.5 3661.75,-900.5"/>
<text text-anchor="middle" x="3790.62" y="-992.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3649.75,-985.25 3931.5,-985.25"/>
<text text-anchor="middle" x="3790.62" y="-964.15" font-family="Times,serif" font-size="18.00">TypeOperation: &#45;</text>
<polyline fill="none" stroke="black" points="3649.75,-957 3931.5,-957"/>
<text text-anchor="middle" x="3790.62" y="-935.9" font-family="Times,serif" font-size="18.00">0x5030000010c0</text>
<polyline fill="none" stroke="black" points="3649.75,-928.75 3931.5,-928.75"/>
<text text-anchor="middle" x="3719.62" y="-907.65" font-family="Times,serif" font-size="18.00">0x5030000010f0</text>
<polyline fill="none" stroke="black" points="3789.5,-900.5 3789.5,-928.75"/>
<text text-anchor="middle" x="3860.5" y="-907.65" font-family="Times,serif" font-size="18.00">0x503000001180</text>
</g>
<!-- 0x503000001210&#45;&gt;0x5030000010c0 -->
<g id="edge64" class="edge">
<title>0x503000001210&#45;&gt;0x5030000010c0</title>
<path fill="none" stroke="black" d="M3711.02,-1050.05C3718.93,-1040.9 3727.18,-1031.36 3735.25,-1022.03"/>
<polygon fill="black" stroke="black" points="3737.71,-1024.54 3741.6,-1014.69 3732.41,-1019.96 3737.71,-1024.54"/>
</g>
<!-- 0x5030000010f0 -->
<g id="node66" class="node">
<title>0x5030000010f0</title>
<path fill="crimson" stroke="black" d="M3660.62,-750.5C3660.62,-750.5 3920.62,-750.5 3920.62,-750.5 3926.62,-750.5 3932.62,-756.5 3932.62,-762.5 3932.62,-762.5 3932.62,-851.5 3932.62,-851.5 3932.62,-857.5 3926.62,-863.5 3920.62,-863.5 3920.62,-863.5 3660.62,-863.5 3660.62,-863.5 3654.62,-863.5 3648.62,-857.5 3648.62,-851.5 3648.62,-851.5 3648.62,-762.5 3648.62,-762.5 3648.62,-756.5 3654.62,-750.5 3660.62,-750.5"/>
<text text-anchor="middle" x="3790.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3648.62,-835.25 3932.62,-835.25"/>
<text text-anchor="middle" x="3790.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: ^</text>
<polyline fill="none" stroke="black" points="3648.62,-807 3932.62,-807"/>
<text text-anchor="middle" x="3790.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x5030000010f0</text>
<polyline fill="none" stroke="black" points="3648.62,-778.75 3932.62,-778.75"/>
<text text-anchor="middle" x="3719.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000001120</text>
<polyline fill="none" stroke="black" points="3790.62,-750.5 3790.62,-778.75"/>
<text text-anchor="middle" x="3861.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x503000001150</text>
</g>
<!-- 0x5030000010c0&#45;&gt;0x5030000010f0 -->
<g id="edge65" class="edge">
<title>0x5030000010c0&#45;&gt;0x5030000010f0</title>
<path fill="none" stroke="black" d="M3790.62,-900.05C3790.62,-891.83 3790.62,-883.3 3790.62,-874.89"/>
<polygon fill="black" stroke="black" points="3794.13,-875.05 3790.63,-865.05 3787.13,-875.05 3794.13,-875.05"/>
</g>
<!-- 0x503000001180 -->
<g id="node69" class="node">
<title>0x503000001180</title>
<path fill="crimson" stroke="black" d="M3975,-750.5C3975,-750.5 4234.25,-750.5 4234.25,-750.5 4240.25,-750.5 4246.25,-756.5 4246.25,-762.5 4246.25,-762.5 4246.25,-851.5 4246.25,-851.5 4246.25,-857.5 4240.25,-863.5 4234.25,-863.5 4234.25,-863.5 3975,-863.5 3975,-863.5 3969,-863.5 3963,-857.5 3963,-851.5 3963,-851.5 3963,-762.5 3963,-762.5 3963,-756.5 3969,-750.5 3975,-750.5"/>
<text text-anchor="middle" x="4104.62" y="-842.4" font-family="Times,serif" font-size="18.00">Nodetype: Operation</text>
<polyline fill="none" stroke="black" points="3963,-835.25 4246.25,-835.25"/>
<text text-anchor="middle" x="4104.62" y="-814.15" font-family="Times,serif" font-size="18.00">TypeOperation: *</text>
<polyline fill="none" stroke="black" points="3963,-807 4246.25,-807"/>
<text text-anchor="middle" x="4104.62" y="-785.9" font-family="Times,serif" font-size="18.00">0x503000001180</text>
<polyline fill="none" stroke="black" points="3963,-778.75 4246.25,-778.75"/>
<text text-anchor="middle" x="4034" y="-757.65" font-family="Times,serif" font-size="18.00">0x5030000011b0</text>
<polyline fill="none" stroke="black" points="4105,-750.5 4105,-778.75"/>
<text text-anchor="middle" x="4175.62" y="-757.65" font-family="Times,serif" font-size="18.00">0x5030000011e0</text>
</g>
<!-- 0x5030000010c0&#45;&gt;0x503000001180 -->
<g id="edge68" class="edge">
<title>0x5030000010c0&#45;&gt;0x503000001180</title>
<path fill="none" stroke="black" d="M3909.33,-900.05C3931,-889.84 3953.7,-879.14 3975.65,-868.79"/>
<polygon fill="black" stroke="black" points="3977.09,-871.98 3984.64,-864.55 3974.1,-865.65 3977.09,-871.98"/>
</g>
<!-- 0x503000001120 -->
<g id="node67" class="node">
<title>0x503000001120</title>
<path fill="green" stroke="black" d="M3714,-600.5C3714,-600.5 3843.25,-600.5 3843.25,-600.5 3849.25,-600.5 3855.25,-606.5 3855.25,-612.5 3855.25,-612.5 3855.25,-701.5 3855.25,-701.5 3855.25,-707.5 3849.25,-713.5 3843.25,-713.5 3843.25,-713.5 3714,-713.5 3714,-713.5 3708,-713.5 3702,-707.5 3702,-701.5 3702,-701.5 3702,-612.5 3702,-612.5 3702,-606.5 3708,-600.5 3714,-600.5"/>
<text text-anchor="middle" x="3778.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="3702,-685.25 3855.25,-685.25"/>
<text text-anchor="middle" x="3778.62" y="-664.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="3702,-657 3855.25,-657"/>
<text text-anchor="middle" x="3778.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000001120</text>
<polyline fill="none" stroke="black" points="3702,-628.75 3855.25,-628.75"/>
<text text-anchor="middle" x="3740" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3778,-600.5 3778,-628.75"/>
<text text-anchor="middle" x="3816.5" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x5030000010f0&#45;&gt;0x503000001120 -->
<g id="edge66" class="edge">
<title>0x5030000010f0&#45;&gt;0x503000001120</title>
<path fill="none" stroke="black" d="M3786.09,-750.05C3785.42,-741.83 3784.73,-733.3 3784.05,-724.89"/>
<polygon fill="black" stroke="black" points="3787.55,-724.73 3783.25,-715.05 3780.57,-725.3 3787.55,-724.73"/>
</g>
<!-- 0x503000001150 -->
<g id="node68" class="node">
<title>0x503000001150</title>
<path fill="lightskyblue" stroke="black" d="M3885.62,-600.5C3885.62,-600.5 4003.62,-600.5 4003.62,-600.5 4009.62,-600.5 4015.62,-606.5 4015.62,-612.5 4015.62,-612.5 4015.62,-701.5 4015.62,-701.5 4015.62,-707.5 4009.62,-713.5 4003.62,-713.5 4003.62,-713.5 3885.62,-713.5 3885.62,-713.5 3879.62,-713.5 3873.62,-707.5 3873.62,-701.5 3873.62,-701.5 3873.62,-612.5 3873.62,-612.5 3873.62,-606.5 3879.62,-600.5 3885.62,-600.5"/>
<text text-anchor="middle" x="3944.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="3873.62,-685.25 4015.62,-685.25"/>
<text text-anchor="middle" x="3944.62" y="-664.15" font-family="Times,serif" font-size="18.00">Num: 3.00</text>
<polyline fill="none" stroke="black" points="3873.62,-657 4015.62,-657"/>
<text text-anchor="middle" x="3944.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x503000001150</text>
<polyline fill="none" stroke="black" points="3873.62,-628.75 4015.62,-628.75"/>
<text text-anchor="middle" x="3909.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="3944.62,-600.5 3944.62,-628.75"/>
<text text-anchor="middle" x="3980.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x5030000010f0&#45;&gt;0x503000001150 -->
<g id="edge67" class="edge">
<title>0x5030000010f0&#45;&gt;0x503000001150</title>
<path fill="none" stroke="black" d="M3848.85,-750.05C3858.49,-740.77 3868.56,-731.1 3878.39,-721.65"/>
<polygon fill="black" stroke="black" points="3880.7,-724.29 3885.49,-714.83 3875.85,-719.24 3880.7,-724.29"/>
</g>
<!-- 0x5030000011b0 -->
<g id="node70" class="node">
<title>0x5030000011b0</title>
<path fill="lightskyblue" stroke="black" d="M4045.62,-600.5C4045.62,-600.5 4163.62,-600.5 4163.62,-600.5 4169.62,-600.5 4175.62,-606.5 4175.62,-612.5 4175.62,-612.5 4175.62,-701.5 4175.62,-701.5 4175.62,-707.5 4169.62,-713.5 4163.62,-713.5 4163.62,-713.5 4045.62,-713.5 4045.62,-713.5 4039.62,-713.5 4033.62,-707.5 4033.62,-701.5 4033.62,-701.5 4033.62,-612.5 4033.62,-612.5 4033.62,-606.5 4039.62,-600.5 4045.62,-600.5"/>
<text text-anchor="middle" x="4104.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Num</text>
<polyline fill="none" stroke="black" points="4033.62,-685.25 4175.62,-685.25"/>
<text text-anchor="middle" x="4104.62" y="-664.15" font-family="Times,serif" font-size="18.00">Num: 2.00</text>
<polyline fill="none" stroke="black" points="4033.62,-657 4175.62,-657"/>
<text text-anchor="middle" x="4104.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x5030000011b0</text>
<polyline fill="none" stroke="black" points="4033.62,-628.75 4175.62,-628.75"/>
<text text-anchor="middle" x="4069.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="4104.62,-600.5 4104.62,-628.75"/>
<text text-anchor="middle" x="4140.12" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000001180&#45;&gt;0x5030000011b0 -->
<g id="edge69" class="edge">
<title>0x503000001180&#45;&gt;0x5030000011b0</title>
<path fill="none" stroke="black" d="M4104.62,-750.05C4104.62,-741.83 4104.62,-733.3 4104.62,-724.89"/>
<polygon fill="black" stroke="black" points="4108.13,-725.05 4104.63,-715.05 4101.13,-725.05 4108.13,-725.05"/>
</g>
<!-- 0x5030000011e0 -->
<g id="node71" class="node">
<title>0x5030000011e0</title>
<path fill="green" stroke="black" d="M4206,-600.5C4206,-600.5 4335.25,-600.5 4335.25,-600.5 4341.25,-600.5 4347.25,-606.5 4347.25,-612.5 4347.25,-612.5 4347.25,-701.5 4347.25,-701.5 4347.25,-707.5 4341.25,-713.5 4335.25,-713.5 4335.25,-713.5 4206,-713.5 4206,-713.5 4200,-713.5 4194,-707.5 4194,-701.5 4194,-701.5 4194,-612.5 4194,-612.5 4194,-606.5 4200,-600.5 4206,-600.5"/>
<text text-anchor="middle" x="4270.62" y="-692.4" font-family="Times,serif" font-size="18.00">Nodetype: Variable</text>
<polyline fill="none" stroke="black" points="4194,-685.25 4347.25,-685.25"/>
<text text-anchor="middle" x="4270.62" y="-664.15" font-family="Times,serif" font-size="18.00">Var: x</text>
<polyline fill="none" stroke="black" points="4194,-657 4347.25,-657"/>
<text text-anchor="middle" x="4270.62" y="-635.9" font-family="Times,serif" font-size="18.00">0x5030000011e0</text>
<polyline fill="none" stroke="black" points="4194,-628.75 4347.25,-628.75"/>
<text text-anchor="middle" x="4232" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
<polyline fill="none" stroke="black" points="4270,-600.5 4270,-628.75"/>
<text text-anchor="middle" x="4308.5" y="-607.65" font-family="Times,serif" font-size="18.00">(nil)</text>
</g>
<!-- 0x503000001180&#45;&gt;0x5030000011e0 -->
<g id="edge70" class="edge">
<title>0x503000001180&#45;&gt;0x5030000011e0</title>
<path fill="none" stroke="black" d="M4167.38,-750.05C4177.89,-740.68 4188.85,-730.91 4199.55,-721.37"/>
<polygon fill="black" stroke="black" points="4201.79,-724.06 4206.92,-714.79 4197.13,-718.84 4201.79,-724.06"/>
</g>
</g>
</svg>
